すべて 2020 2019 2018 2017 2016 2015 2014 2013 2012 その他
すべて 雑誌論文 学会発表
人工知能学会研究会資料
巻: SIG-FPAI-B903-02 B5(03) ページ: 6-11
XCSP3 Competition 2019 Solver Description
巻: －
Annals of Operations Research
巻: - ページ: 3-37
10.1007/s10479-018-2757-7
コンピュータ ソフトウェア
巻: 35 号: 4 ページ: 72-92
10.11309/jssst.35.72
130007552525
巻: 35(3) 号: 3 ページ: 3_65-3_78
10.11309/jssst.35.3_65
130007487601
Proceedings of XCSP3 Competition 2018
巻: なし ページ: 93-94
コンピュータソフトウェア
巻: 35(4) ページ: 72-92
情報処理学会論文誌
巻: 59(9) ページ: 1749-1760
130007425532
170000149759
Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)
巻: 10416 ページ: 596-614
10.1007/978-3-319-66158-2_38
第29回RAMPシンポジウム論文集
巻: - ページ: 73-88
巻: 33(4) 号: 4 ページ: 16-29
10.11309/jssst.33.4_16
130005290581
International Journal on Artificial Intelligence Tools
巻: 26(1)
10.1142/s0218213017600053
120006406719
In: Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science
巻: 10377 ページ: 265-278
10.1007/978-3-319-61660-5_24
巻: 34(1) 号: 1 ページ: 1_67-1_80
10.11309/jssst.34.1_67
130006855237
情報処理
巻: 57(8) ページ: 710-715
ACM Journal of Experimental Algorithmics
巻: 21(1) ページ: 1-44
10.1145/2975585
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
巻: -
巻: － ページ: 13-32
巻: 57(8)
巻: なし
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015)
巻: - ページ: 421-428
10.1109/ictai.2015.70
40020657481
Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)
巻: LNAI9345 ページ: 112-126
10.1007/978-3-319-23264-5_10
Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
巻: Vol.8761 ページ: 684-693
10.1007/978-3-319-11558-0_52
巻: 31(1) 号: 1 ページ: 116-130
10.11309/jssst.31.1_116
130004549327
Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
巻: なし ページ: 33-48
Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), LNCS, Springer
巻: 掲載確定(掲載確定)
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)
巻: なし ページ: 1020-1027
10.1109/ictai.2013.153
Theory and Practice of Logic Programming
巻: 13(4-5) ページ: 783-798
10.1017/s1471068413000495
Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
巻: なし ページ: 429-436
10.1007/978-3-642-39071-5_34
International Journal on Advances in Life Sciences
巻: 4(3-4) ページ: 154-165
