| QMaxSAT: A Partial Max-SAT Solver: System description M Koshimura, T Zhang, H Fujita, R Hasegawa Journal on Satisfiability, Boolean Modelling and Computation 8 (1-2), 95-100, 2012 | 196 | 2012 |
| Embedding negation as failure into a model generation theorem prover K Inoue, M Koshimura, R Hasegawa International Conference on Automated Deduction, 400-415, 1992 | 115 | 1992 |
| Modulo based CNF encoding of cardinality constraints and its application to MaxSAT solvers T Ogawa, Y Liu, R Hasegawa, M Koshimura, H Fujita 2013 IEEE 25th International Conference on Tools with Artificial …, 2013 | 66 | 2013 |
| Minimal model generation with respect to an atom set M Koshimura, H Nabeshima, H Fujita, R Hasegawa FTP 9, 49-59, 2009 | 44 | 2009 |
| Model generation theorem provers on a parallel nference machine H FUJITA Proc. FGCS92, 1992 | 41 | 1992 |
| MGTP: A parallel theorem prover based on lazy model generation R Hasegawa, M Koshimura, H Fujita International Conference on Automated Deduction, 776-780, 1992 | 29 | 1992 |
| Solving the coalition structure generation problem with MaxSAT X Liao, M Koshimura, H Fujita, R Hasegawa 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 28 | 2012 |
| MGTP: A model generation theorem prover—Its advanced features and applications— R Hasegawa, H Fujita, M Koshimura Automated Reasoning with Analytic Tableaux and Related Methods …, 1997 | 28 | 1997 |
| Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving R Hasegawa, K Inoue, Y Ohta, M Koshimura Automated Deduction—CADE-14: 14th International Conference on Automated …, 1997 | 28 | 1997 |
| Efficient minimal model generation using branching lemmas R Hasegawa, H Fujita, M Koshimura Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000 | 27 | 2000 |
| Solving open job-shop scheduling problems by SAT encoding M Koshimura, H Nabeshima, H Fujita, R Hasegawa IEICE TRANSACTIONS on Information and Systems 93 (8), 2316-2318, 2010 | 25 | 2010 |
| 分岐補題の抽出による極小モデル生成の効率化 長谷川隆三， 藤田博， 越村三幸 人工知能学会論文誌 16 (2), 234-245, 2001 | 15 | 2001 |
| Improved WPM encoding for coalition structure generation under MC-nets X Liao, M Koshimura, K Nomoto, S Ueda, Y Sakurai, M Yokoo Constraints 24, 25-55, 2019 | 14 | 2019 |
| MaxSAT encoding for MC-net-based coalition structure generation problem with externalities X Liao, M Koshimura, H Fujita, R Hasegawa IEICE TRANSACTIONS on Information and Systems 97 (7), 1781-1789, 2014 | 13 | 2014 |
| N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT A Zha, M Koshimura, H Fujita Constraints 24 (2), 133-161, 2019 | 12 | 2019 |
| Maximum satisfiability formulation for optimal scheduling in overloaded real-time systems X Liao, H Zhang, M Koshimura, R Huang, W Yu PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim …, 2019 | 12 | 2019 |
| Java によるモデル生成型定理証明系 MGTP の開発 長谷川隆三， 藤田博 情報処理学会論文誌 41 (6), 1791-1798, 2000 | 12 | 2000 |
| Coalition structure generation for partition function games utilizing a concise graphical representation A Zha, K Nomoto, S Ueda, M Koshimura, Y Sakurai, M Yokoo PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th …, 2017 | 11 | 2017 |
| Proof simplification for model generation and its applications M Koshimura, R Hasegawa Logic for Programming and Automated Reasoning: 7th International Conference …, 2000 | 11 | 2000 |
| Using maxsat to correct errors in aes key schedule images X Liao, H Zhang, M Koshimura, H Fujita, R Hasegawa 2013 IEEE 25th international conference on tools with artificial …, 2013 | 10 | 2013 |
