Items where Author is "Ogawa, Mizuhito"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 3. ArticleTung, Vu Xuan and To, Van Khanh and Ogawa, Mizuhito (2017) raSAT: an SMT solver for polynomial constraints. Formal Methods in System Design . pp. 1-38. ISSN 1572-8102 Conference or Workshop ItemVu, Xuan Tung and To, Van Khanh and Ogawa, Mizuhito (2016) raSAT: An SMT Solver for Polynomial Constraints. In: The 8th International Joint Conference on Automated Reasoning, 2016. Ogawa, Mizuhito and To, Van Khanh (2013) SAT and SMT: Their algorithm Designs and Applications. In: 2013: the 20th Asia-Pacific Software Engineering Conference (APSEC 2013), 2-5 December 2015, Bangkok, Thailand. |
