| 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 | 193 | 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 | 70 | 2013 |
| Minimal model generation with respect to an atom set M Koshimura, H Nabeshima, H Fujita, R Hasegawa FTP 9, 49-59, 2009 | 47 | 2009 |
| Model generation theorem provers on a parallel nference machine H FUJITA Proc. FGCS92, 1992 | 43 | 1992 |
| 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 | 28 | 2010 |
| Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving R Hasegawa, K Inoue, Y Ohta, M Koshimura International Conference on Automated Deduction, 176-190, 1997 | 28 | 1997 |
| MGTP: A parallel theorem prover based on lazy model generation R Hasegawa, M Koshimura, H Fujita International Conference on Automated Deduction, 776-780, 1992 | 28 | 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 | 25 | 2012 |
| Efficient minimal model generation using branching lemmas R Hasegawa, H Fujita, M Koshimura International Conference on Automated Deduction, 184-199, 2000 | 25 | 2000 |
| MGTP: A model generation theorem prover—Its advanced features and applications— R Hasegawa, H Fujita, M Koshimura International Conference on Automated Reasoning with Analytic Tableaux and …, 1997 | 25 | 1997 |
| 分岐補題の抽出による極小モデル生成の効率化 長谷川隆三， 藤田博， 越村三幸 人工知能学会論文誌 16 (2), 234-245, 2001 | 14 | 2001 |
| Maximum satisfiability formulation for optimal scheduling in overloaded real-time systems X Liao, H Zhang, M Koshimura, R Huang, W Yu Pacific rim international conference on artificial intelligence, 618-631, 2019 | 12 | 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 (1), 25-55, 2019 | 12 | 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 | 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 |
| Coalition structure generation for partition function games utilizing a concise graphical representation A Zha, K Nomoto, S Ueda, M Koshimura, Y Sakurai, M Yokoo International conference on principles and practice of multi-agent systems …, 2017 | 11 | 2017 |
| 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 | 11 | 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 | 11 | 2011 |
