| QMaxSAT: A partial Max-SAT solver M Koshimura, T Zhang, H Fujita, R Hasegawa Journal on Satisfiability, Boolean Modeling and Computation 8 (1-2), 95-100, 2012 | 185 | 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 | 114 | 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 | 61 | 2013 |
| Model generation theorem provers on a parallel nference machine H FUJITA Proc. FGCS92, 1992 | 42 | 1992 |
| Minimal model generation with respect to an atom set M Koshimura, H Nabeshima, H Fujita, R Hasegawa FTP 9, 49-59, 2009 | 39 | 2009 |
| 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 | 27 | 2012 |
| 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 | 27 | 1997 |
| Efficient minimal model generation using branching lemmas R Hasegawa, H Fujita, M Koshimura Automated Deduction-CADE-17: 17th International Conference on Automated …, 2000 | 26 | 2000 |
| 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 | 25 | 1997 |
| 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 | 23 | 2010 |
| 分岐補題の抽出による極小モデル生成の効率化 長谷川隆三， 藤田博， 越村三幸 人工知能学会論文誌 16 (2), 234-245, 2001 | 13 | 2001 |
| 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 | 12 | 2014 |
| Java によるモデル生成型定理証明系 MGTP の開発 長谷川隆三， 藤田博 情報処理学会論文誌 41 (6), 1791-1798, 2000 | 12 | 2000 |
| N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT A Zha, M Koshimura, H Fujita Constraints 24 (2), 133-161, 2019 | 11 | 2019 |
| 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 | 11 | 2019 |
| 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 |
| An efficient hybrid particle swarm optimization for the job shop scheduling problem XF Zhang, M Koshimura, H Fujita, R Hasegawa 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011), 622-626, 2011 | 10 | 2011 |
| Wikipedia からの拡張クエリ生成による Web 検索とその評価 堀憲太郎， 大石哲也， 峯恒憲， 長谷川隆三， 藤田博， 越村三幸 人工知能学会第二種研究会資料 2009 (SWO-020), 13, 2009 | 10 | 2009 |
| 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 | 9 | 2019 |
