All 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 Other
All Journal Article Presentation Book
Annals of Operations Research
Volume: - Pages: 3-37
10.1007/s10479-018-2757-7
Proceedings of XCSP3 Competition 2018
Volume: なし Pages: 93-94
コンピュータソフトウェア
Volume: 35(4) Pages: 72-92
130007552525
Computer Software
Volume: 35 Issue: 4 Pages: 72-92
10.11309/jssst.35.72
Volume: 35(3) Issue: 3 Pages: 3_65-3_78
10.11309/jssst.35.3_65
130007487601
情報処理学会論文誌
Volume: 59(9) Pages: 1749-1760
170000149759
130007425532
第29回RAMPシンポジウム論文集
Volume: - Pages: 73-88
Volume: 33(4) Issue: 4 Pages: 16-29
10.11309/jssst.33.4_16
130005290581
In: Proceedings of the 14th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2017), Lecture Notes in Computer Science
Volume: 10377 Pages: 265-278
10.1007/978-3-319-61660-5_24
Volume: 34(1) Issue: 1 Pages: 1_67-1_80
10.11309/jssst.34.1_67
130006855237
Theory and Practice of Logic Programming
Volume: 17(4) Pages: 408-461
10.1017/s1471068417000138
International Journal on Artificial Intelligence Tools
Volume: 26(1)
10.1142/s0218213017600053
120006406719
Proceedings of the 23rd International Conference on Principles and Practice of Constraint Programming (CP 2017)
Volume: 10416 Pages: 596-614
10.1007/978-3-319-66158-2_38
Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)
Volume: -
情報処理
Volume: 57(8) Pages: 704-709
Volume: － Pages: 13-32
Volume: 57(8)
Volume: － Pages: 63-79
Volume: 57(8) Pages: 710-715
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015)
Volume: - Pages: 421-428
10.1109/ictai.2015.70
40020657481
Proceedings of the 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2015)
Volume: LNAI9345 Pages: 112-126
10.1007/978-3-319-23264-5_10
Proceedings of the 14th European Conference on Logics in Artificial Intelligence (JELIA 2014)
Volume: Vol.8761 Pages: 684-693
10.1007/978-3-319-11558-0_52
Volume: 31(1) Issue: 1 Pages: 116-130
10.11309/jssst.31.1_116
130004549327
Volume: 30(1) Issue: 1 Pages: 1_211-1_230
10.11309/jssst.30.1_211
130004549312
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)
Volume: なし Pages: 1020-1027
10.1109/ictai.2013.153
Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)
Volume: なし Pages: 33-48
Volume: 30 Pages: 83-89
10031151476
Volume: 13(4-5) Pages: 783-798
10.1017/s1471068413000495
Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)
Volume: なし Pages: 429-436
10.1007/978-3-642-39071-5_34
Volume: 30(1) Pages: 211-230
Volume: 30(2) Issue: 2 Pages: 2_83-2_89
10.11309/jssst.30.2_83
Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), LNCS, Springer
Volume: 掲載確定(掲載確定)
130004549288
Transactions of the Japanese Society for Artificial Intelligence
Volume: 27巻2号 Issue: 2 Pages: 10-15
10.1527/tjsai.27.10
130001878739
Volume: 29(4) Pages: 114-129
人工知能学会誌
Volume: (掲載決定)
Volume: 29(4) Issue: 4 Pages: 114-129
10.11309/jssst.29.4_114
The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer
Volume: 7317 Pages: 456-462
The 28th International Conference on Logic Programmimg(ICLP 2012)
Volume: LIPIcs 17 Pages: 86-97
10.4230/LIPIcs.ICLP.2012.86
Proc of 14th Int' l Conf. on Theory and Applications of Satisfiability Testing(SAT 2011)
Pages: 375-376
Proc.of the 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)
Proc.of the 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011), LNCS 6695
Proc.of 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011)
10.1007/978-3-642-21581-0_36
Proc.of 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)
17th Int'l Conf.on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
Pages: 112-126
人工知能学会誌 25巻1号
Pages: 122-129
120002736925
Volume: 27(4) Issue: 4 Pages: 183-196
10.11309/jssst.27.4_183
130004549193
Fundamenta Informaticae
Volume: 102(3-4) Pages: 467-487
10.3233/fi-2010-314
Volume: Vol.102 Pages: 467-487
人工知能学会誌 25・1
Pages: 77-85
Volume: 102・3-4 Pages: 467-487
17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)
Volume: 27巻 Pages: 183-196
コンピュータソフトウェア 27巻
Pages: 183-196
Fundamenta Informaticae Vol.102
Pages: 467-487
Constraints Vol.27
Pages: 254-272
120000944873
Constraints
Volume: Vol.27 Pages: 254-272
Constraints 14・2
Vol.14Issue.2
Proceedings of the Third International CSP Solver Competition
Pages: 71-75
Pages: 77-82
Proc. of the 2nd International CSP Solver Competition
Pages: 65-69
Proceedings of the Second International CSP Solver Competition
コンピュータソフトウェア 24巻3号
Pages: 75-86
130004638868
Computer Software Vol. 24, No. 3
110006366612
コンピュータソフトウェア 第24巻・第3号
コンピュータソフトウェア (印刷中)
Journal of the Japanese Society for Artificial Intelligence Vol. 21, No. 4
Pages: 1-8
人工知能学会学会誌 21・4
Discrete Applied Mathematics 154・16
Pages: 2291-2306
Proc. of the 1st International Workshop on Distributed and Speculative Constraint Processing(DSCP05)
Proc. of the 16th Internat.ional Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)
Pages: 45-54
日本ソフトウェア科学会第22回大会
In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management
Computer Software 22-1
Pages: 98-103
130005006638
A Proof Theory Workshop(Keio University)
Proc.INAP 2005
A Proof Theory Workshop, Keio University
コンピュータソフトウェア 22・1
Pages: 191-199
Franco-Japanese Workshop on Constraint Programming
Proof Theory and its Applicationsに関する合同セミナー
Workshop on Proof Theory and its Applications, Keio University
IPAX Spring 2004
日本ソフトウェア科学会第20回全国大会
Workshop on Proof Theory and its Applications(Keio University)
Workshop on Logic and Computation, Keio University
Workshop on Logic and Computation(Keio University)
Computer Software 20-5
Pages: 90-96
130006949877
コンピュータソフトウェア 20・5
Ph.D Dissertation(Graduate School of Science and Technology, Kobe University)
Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)
