田村 直之  TAMURA NAOYUKI

Annals of Operations Research

巻: - ページ: 3-37

10.1007/s10479-018-2757-7

Proceedings of XCSP3 Competition 2018

巻: なし ページ: 93-94

情報処理学会論文誌

巻: 59(9) ページ: 1749-1760

130007425532

コンピュータ　ソフトウェア

巻: 35(3) 号: 3 ページ: 3_65-3_78

10.11309/jssst.35.3_65

130007487601

情報処理

巻: 59(3) ページ: 232238-232238

コンピュータソフトウェア

巻: 35(4) ページ: 72-92

130007552525

情報処理学会論文誌

巻: 59(9) ページ: 1749-1760

170000149759

コンピュータ　ソフトウェア

巻: 35 号: 4 ページ: 72-92

10.11309/jssst.35.72

130007552525

第29回RAMPシンポジウム論文集

巻: - ページ: 73-88

コンピュータ　ソフトウェア

巻: 33(4) 号: 4 ページ: 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

巻: 10377 ページ: 265-278

10.1007/978-3-319-61660-5_24

第29回RAMPシンポジウム論文集

巻: - ページ: 73-88

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

コンピュータ　ソフトウェア

巻: 34(1) 号: 1 ページ: 1_67-1_80

10.11309/jssst.34.1_67

130006855237

International Journal on Artificial Intelligence Tools

巻: 26(1)

10.1142/s0218213017600053

120006406719

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻: -

情報処理

巻: 57(8)

情報処理

巻: 57(8) ページ: 710-715

Proceedings of the 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻: － ページ: 13-32

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 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015)

巻: - ページ: 421-428

10.1109/ictai.2015.70

40020657481

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

コンピュータソフトウェア

巻: 30 ページ: 83-89

10031151476

コンピュータソフトウェア

巻: 30(1) ページ: 211-230

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

Proceedings of the Sixth Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013)

巻: なし ページ: 33-48

コンピュータ　ソフトウェア

巻: 30(2) 号: 2 ページ: 2_83-2_89

10.11309/jssst.30.2_83

10031151476

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2013)

巻: なし ページ: 1020-1027

10.1109/ictai.2013.153

Proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013), LNCS, Springer

巻: 掲載確定(掲載確定)

Theory and Practice of Logic Programming

巻: 13(4-5) ページ: 783-798

10.1017/s1471068413000495

コンピュータソフトウェア

巻: 29(4) ページ: 114-129

130004549288

コンピュータソフトウェア

130004549288

人工知能学会誌

巻: (掲載決定)

The 15th International Conference on Theory and Applications of Satisfiability Testing (SAT 2012), LNCS, Springer

巻: 7317 ページ: 456-462

人工知能学会論文誌

巻: 27巻2号 号: 2 ページ: 10-15

10.1527/tjsai.27.10

130001878739

The 28th International Conference on Logic Programmimg(ICLP 2012)

巻: LIPIcs 17 ページ: 86-97

10.4230/LIPIcs.ICLP.2012.86

Proc of 14th Int' l Conf. on Theory and Applications of Satisfiability Testing(SAT 2011)

ページ: 375-376

Proc.of 1st Int'l Workshop on the Cross-Fertilization Between CSP and SAT (CSPSAT 2011)

Proc.of 14th Int'l Conf.on Theory and Applications of Satisfiability Testing (SAT 2011)

ページ: 375-376

10.1007/978-3-642-21581-0_36

Fundamenta Informaticae

巻: 102・3-4 ページ: 467-487

人工知能学会誌 25・1

ページ: 122-129

120002736925

コンピュータソフトウェア 27巻

ページ: 183-196

130004549193

Fundamenta Informaticae

巻: Vol.102 ページ: 467-487

人工知能学会誌 25・1

ページ: 77-85

コンピュータソフトウェア

巻: 27巻 ページ: 183-196

130004549193

人工知能学会誌 25・1

ページ: 57-67

人工知能学会誌 25・1

ページ: 56-56

Fundamenta Informaticae Vol.102

ページ: 467-487

17th Int'l Conf. on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17)

ページ: 112-126

Constraints 14・2

ページ: 254-272

120000944873

Constraints Vol. 14, Issue 2

ページ: 254-272

120000944873

Constraints Vol.27

ページ: 254-272

120000944873

Constraints

巻: Vol.27 ページ: 254-272

120000944873

Proceedings of the Second International CSP Solver Competition

Proc. of the 2nd International CSP Solver Competition

ページ: 65-69

Third International CSP Solver Competition

ページ: 71-75

コンピュータソフトウェア (印刷中)

Computer Software Vol. 24, No. 3

ページ: 75-86

110006366612

Proc. of the 12th International Conference on Principles and Practice of Constraint Programming(CP 2006)

ページ: 590-603

120000944873

Journal of the Japanese Society for Artificial Intelligence Vol. 21, No. 4

ページ: 1-8

Discrete Applied Mathematics 154・16

ページ: 2291-2306

人工知能学会学会誌 21・4

ページ: 1-8

Proceedings of the 12th International Conference on Principles Practice of Constraint Programming (CP 2006)

ページ: 590-603

120000944873

Proc. CP 2006

ページ: 590-603

120000944873

Proc. of the 16th International Conference on Applications of Declarative Programming anti Knowledge Management,(INAP 2005)

ページ: 191-199

Proc.INAP 2005

ページ: 191-199

Proc.INAP 2005

ページ: 45-54

Computer Software 22-1

ページ: 98-103

130005006638

A Proof Theory Workshop, Keio University

130005006638

A Proof Theory Workshop(Keio University)

130005006638

Proc. of the 16th International Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)

ページ: 1-6

Proc. of the 16th Internat.ional Conference on Applications of Declarative Programming and Knowledge Management(INAP 2005)

ページ: 45-54

Computer Software Vol. 22, No. 3

ページ: 179-185

Proc.INAP 2005

ページ: 1-6

コンピュータソフトウェア 22・1

ページ: 98-103

130005006638

Proc. of the 1st International Workshop on Distributed and Speculative Constraint Processing(DSCP05)

{Lecture Notes in Computer Science 4369: Proceedings of the 16 International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2005)

コンピュータソフトウェア 22・3

ページ: 179-185

130005006573

Workshop on Proof Theory and its Applications, Keio University

日本ソフトウェア科学会第20回全国大会

130005006638

Proof Theory and its Applicationsに関する合同セミナー

Workshop on Proof Theory and its Applications(Keio University)

Workshop on Logic and Computation, Keio University

コンピュータソフトウェア 20・5

ページ: 90-96

130006949877

Workshop on Logic and Computation(Keio University)

Computer Software 20-5

ページ: 90-96

130006949877

電子情報通信学会技術研究報告 102・91

ページ: 37-42

Technical Report of the Institute of Electronics, Information and Communication Engineers 102-91

ページ: 37-42

Discrete Applied Mathematics Vol. 154, No. 16

ページ: 2291-2306

Jouranal of Algorithms in Cognition, Informatics and Logic (掲載確定)