田村 直之  TAMURA NAOYUKI

Annals of Operations Research

巻: - ページ: 3-37

10.1007/s10479-018-2757-7

情報処理学会論文誌

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

170000149759

情報処理

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

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

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

10.11309/jssst.35.3_65

130007487601

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

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

130007552525

Proceedings of XCSP3 Competition 2018

巻: なし ページ: 93-94

情報処理学会論文誌

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

130007425532

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

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

10.11309/jssst.35.72

130007552525

International Journal on Artificial Intelligence Tools

巻: 26(1)

10.1142/s0218213017600053

120006406719

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

巻: 33(4) 号: 4 ページ: 16-29

10.11309/jssst.33.4_16

130005290581

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

巻: - ページ: 73-88

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

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

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

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

10.11309/jssst.34.1_67

130006855237

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

巻: － ページ: 13-32

情報処理

巻: 57(8)

情報処理

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

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

巻: -

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

Theory and Practice of Logic Programming

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

10.1017/s1471068413000495

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

巻: なし ページ: 1020-1027

10.1109/ictai.2013.153

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

巻: 30 ページ: 83-89

10031151476

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

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

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 16th International Conference on Theory and Applications of Satisfiability Testing (SAT 2013)

巻: なし ページ: 429-436

10.1007/978-3-642-39071-5_34

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

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

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

巻: 7317 ページ: 456-462

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

130004549288

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

巻: LIPIcs 17 ページ: 86-97

10.4230/LIPIcs.ICLP.2012.86

人工知能学会誌

巻: (掲載決定)

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

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

130004549288

人工知能学会論文誌

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

10.1527/tjsai.27.10

130001878739

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

ページ: 375-376

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

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)

ページ: 112-126

Fundamenta Informaticae

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

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

ページ: 183-196

130004549193

Fundamenta Informaticae Vol.102

ページ: 467-487

人工知能学会誌 25・1

ページ: 56-56

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

巻: 27巻 ページ: 183-196

130004549193

人工知能学会誌 25・1

ページ: 57-67

Fundamenta Informaticae

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

人工知能学会誌 25・1

ページ: 122-129

120002736925

人工知能学会誌 25・1

ページ: 77-85

Constraints Vol. 14, Issue 2

ページ: 254-272

120000944873

Constraints Vol.27

ページ: 254-272

120000944873

Constraints 14・2

ページ: 254-272

120000944873

Constraints

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

120000944873

Proc. of the 2nd International CSP Solver Competition

ページ: 65-69

Third International CSP Solver Competition

ページ: 71-75

Proceedings of the Second International CSP Solver Competition

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

Computer Software Vol. 24, No. 3

ページ: 75-86

110006366612

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

ページ: 590-603

120000944873

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

ページ: 1-8

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

ページ: 1-8

Discrete Applied Mathematics 154・16

ページ: 2291-2306

Proc. CP 2006

ページ: 590-603

120000944873

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

ページ: 590-603

120000944873

Proc.INAP 2005

ページ: 45-54

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

ページ: 98-103

130005006638

Computer Software Vol. 22, No. 3

ページ: 179-185

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

ページ: 179-185

130005006573

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

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 anti Knowledge Management,(INAP 2005)

ページ: 191-199

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

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

ページ: 45-54

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

ページ: 1-6

Proc.INAP 2005

ページ: 191-199

Computer Software 22-1

ページ: 98-103

130005006638

Proc.INAP 2005

ページ: 1-6

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

130005006638

Workshop on Proof Theory and its Applications(Keio University)

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

Workshop on Proof Theory and its Applications, Keio University

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

ページ: 90-96

130006949877

Workshop on Logic and Computation(Keio University)

Computer Software 20-5

ページ: 90-96

130006949877

Workshop on Logic and Computation, Keio University

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

ページ: 37-42

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

ページ: 37-42

Discrete Applied Mathematics Vol. 154, No. 16

ページ: 2291-2306

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