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 | 190 | 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 | 65 | 2013 |
Model generation theorem provers on a parallel nference machine H FUJITA Proc. FGCS92, 1992 | 41 | 1992 |
Minimal model generation with respect to an atom set M Koshimura, H Nabeshima, H Fujita, R Hasegawa FTP 9, 49-59, 2009 | 40 | 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 |
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 |
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 |
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 | 26 | 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 | 24 | 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 |
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 | 10 | 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 PRIMA 2017: Principles and Practice of Multi-Agent Systems: 20th …, 2017 | 10 | 2017 |
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 |