Folgen
Miyuki Koshimura
Miyuki Koshimura
九州大学大学院システム情報科学研究院
Bestätigte E-Mail-Adresse bei inf.kyushu-u.ac.jp - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1732012
Embedding negation as failure into a model generation theorem prover
K Inoue, M Koshimura, R Hasegawa
International Conference on Automated Deduction, 400-415, 1992
1121992
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
572013
Model generation theorem provers on a parallel inference machine
M Fujita
Proc. of 11th Int. Conf. on Fifth Generation Computer Systems-FGCS'92, 1992
421992
Minimal model generation with respect to an atom set
M Koshimura, H Nabeshima, H Fujita, R Hasegawa
Proceedings of FTP’09, 49-59, 2009
352009
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
281997
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
272012
MGTP: A parallel theorem prover based on lazy model generation
R Hasegawa, M Koshimura, H Fujita
International Conference on Automated Deduction, 776-780, 1992
271992
Efficient minimal model generation using branching lemmas
R Hasegawa, H Fujita, M Koshimura
International Conference on Automated Deduction, 184-199, 2000
252000
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
241997
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
202010
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
132014
分岐補題の抽出による極小モデル生成の効率化
長谷川隆三, 藤田博, 越村三幸
人工知能学会論文誌 16 (2), 234-245, 2001
132001
Java によるモデル生成型定理証明系 MGTP の開発
長谷川隆三, 藤田博
情報処理学会論文誌 41 (6), 1791-1798, 2000
132000
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
122019
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
102013
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
102011
特集 「最近の SAT 技術の発展」 にあたって (< 特集> 最近の SAT 技術の発展)
井上克巳, 田村直之
人工知能 25 (1), 56-56, 2010
102010
Extending maxsat to solve the coalition structure generation problem with externalities based on agent relations
X Liao, M Koshimura, H Fujita, R Hasegawa
IEICE TRANSACTIONS on Information and Systems 97 (7), 1812-1821, 2014
92014
Personalized search using odp-based user profiles created from user bookmark
T Oishi, Y Kambara, T Mine, R Hasegawa, H Fujita, M Koshimura
Pacific Rim International Conference on Artificial Intelligence, 839-848, 2008
92008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20