All 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2005 2004 Other
All Journal Article Presentation Patent
Constraints
Volume: 24 Pages: 133-161
10.1007/s10601-018-9299-0
Proceedings of 29th International Conference on Tools with Artificial Intelligence
Volume: 1 Pages: 868-875
10.1109/ictai.2017.00135
情報処理
Volume: 57 Pages: 716-719
Volume: 57 Pages: 730-733
IEICE Transactions on Information and Systems
Volume: E97-D Issue: 7 Pages: 1781-1789
10.1587/transinf.e97.d.1781
10.1587/transinf.E97.D.1781
130004519274
Volume: E97-D Issue: 7 Pages: 1812-1821
10.1587/transinf.e97.d.1812
10.1587/transinf.E97.D.1812
130004519277
Proceedings of IEEE 25th International Conference on Tools with Artificial Intelligence(ICTAI 2013)
Volume: なし Pages: 9-17
10.1109/ictai.2013.13
九州大学 システム情報科学紀要
Volume: 18(2) Pages: 85-92
120005306729
Proc. of the SAT2013
Volume: なし Pages: 284-291
10.1109/ictai.2013.51
Volume: 第18巻 Pages: 85-92
Proceedings of 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
Volume: なし Pages: 415-421
10.1007/978-3-642-39071-5_32
Boolean Modeling and Computation
Volume: Vol.8 Pages: 95-100
Journal on Satisfiability, Boolean Modeling and Computation
Volume: 8 Pages: 95-100
Proc. of 2012 Spring World Congress on Engineering and Technology (SCET2012)
Volume: 2 Pages: 257-260
10.1109/scet.2012.6342076
CoRR abs
Volume: Number R(4, 8) Pages: 1212-1328
arXiv:1212.1328
Volume: 1212
J. on Satisfiability, Boolean Modeling and Computation
Proc. of 24th Int'l Conf. on Tools with Artificial Intelligence
Pages: 910-915
arXiv:1212
Pages: 1328-1328
4th International Conference on Agents and Artificial Intelligence
Volume: 1 Pages: 27-27
Evolutionary Computation and Multi-Agent Systems and Simulation Workshop
Pages: 307-314
Evolutionary Computation and Multi-Agent Systems and Simulation (ECoMASS) Workshop, GECCO'12 Companion Publication
Volume: なし Pages: 307-314
10.1145/2330784.2330829
Proc. of 24th International Conference on Tools with Artificial Intelligence
Volume: なし
Proc. of 2012 Spring World Congress on Engineering and Technology
Volume: Vol.2 Pages: 257-260
CoRR
Volume: abs/1212.1328
Proc.of 10th IEEE Internationa Conference on Cybernetic Intelligent Systems
Pages: 13-19
Proc.of 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)
Pages: 622-626
Proc.of International Workshop on First-Order Theorem Proving (FTP 2011)
Pages: 7-15
Proc. of 10th Annual Conf. Companion on Genetic and Evolutionary Computation
Pages: 347-357
Proc. of 10th IEEE Int'l Conf. on Cybernetic Intelligent Systems
Proa.of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11)
ICAART 2011
Volume: Vol.1 Pages: 376-381
Proc.of ICAART 2011
Volume: 1 Pages: 376-381
Proc. of 2011 IEEE Int'l Conf. on Fuzzy Systems
システム情報科学紀要
Volume: 16(2) Pages: 75-81
120003370634
Proc. of FTP 2011
Proc.of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11)
Volume: 1 Pages: 625-628
110008003663
Proc.of 13th Annual Conf.Companion on Genetic and Evolutionary Computation (GECCO 2011)
Pages: 347-354
10.1145/2001858.2002017
Proc.of 8th Int'l Workshop on First-Order Theorem Proving (FTP 2011)
FTP 2011, TABLEAUX 2011 Workshops, Tutorials, and Short Papers
Volume: Vol.1 Pages: 628-628
TABLEAUX 2011 Workshops, Tutorials, and Short Papers
IEICE TRANSACTIONS on Information and Systems
Volume: E93-D・8 Pages: 2316-2318
10027365040
Australian Journal of Intelligent Information Processing Systems
Volume: 12・4 Pages: 1-6
IEICE Trans. on Information and Systems
Volume: Vol.E93-D Pages: 2316-2318
ICAART 2010
Volume: Vol.2 Pages: 192-199
Volume: Vol.12 Pages: 1-6
九州大学大学院システム情報科学紀要
Volume: 第15巻,第2号 Pages: 91-98
120002795249
第9回情報科学技術フォーラム講演論文集
Volume: 第2分冊 Pages: 405-406
IEICE TRANSACTIONS on Information and Systems (Letter)
Volume: Vol.E93-D, No.8 Pages: 2316-2318
Int'l Workshop on Web Personalization and Recommender Systems
Pages: 269-272
130008064889
ICONIP 2010 Better Paper Award 受賞, Australian Journal of Intelligent Information Processing Systems
Volume: Vol.12, No.4 Pages: 1-6
人工知能学会誌
Volume: Vol.25,No.1 Pages: 96-104
Volume: 第2分冊 Pages: 167-168
Volume: 第15巻, 第2号 Pages: 91-98
Volume: 第15巻, 第2号 Pages: 65-69
120002795245
WebPRES 2010
IEICE Trans.on Information and Systems Vol.E93-D
Pages: 2316-2318
IEICE TRANS. on Information and Systems
Volume: vol.E93-D-8 Pages: 2316-2318
International Conference on Agents and Artificial Intelligence(ICAART)2010, Vol.2
Pages: 192-199
人工知能学会誌 25・1
Pages: 96-104
Int'l Workshop on Web Personalization and Recommender System
ACCDS 2009
Pages: 41-56
Proc. of FTP 2009
Pages: 49-59
Journal of Supercomputing
Volume: vol.47 Pages: 228-252
7th International Workshop on First-Order Theorem Proving(FTP 2009)
International Workshop on Agent-based Collaboration, Coordination, and Decision Support(ACCDS 2009)
7th International Workshop on First-Order Theorem Proving
九州大学大学院システム情報科学紀要 10・1(印刷中)
110001131938
九州大学大学院システム情報科学紀要 10
Pages: 21-26
110001131578
九州大学大学院システム情報科学紀要 10・1
九州大学大学院システム情報科学紀要 10・1(掲載予定)
Research Reports on I.S.E.E. of Kyushu University(in Japanese) Vol.10
九州大学大学院システム情報科学紀要 9・1
Pages: 13-18
110000580057
Research Reports on I.S.E.E. of Kyushu University(in Japanese) Vol.9
110003178655
九州大学大学院システム情報科学紀要 9
