田村 直之  TAMURA NAOYUKI

人工知能学会研究会資料

巻: 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

130007552525

情報処理

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

情報処理学会論文誌

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

170000149759

情報処理学会論文誌

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

130007425532

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

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

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

巻: - ページ: 73-88

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

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

10.11309/jssst.34.1_67

130006855237

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

巻: - ページ: 73-88

情報処理

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

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

巻: -

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

巻: － ページ: 13-32

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

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

10.11309/jssst.33.4_16

130005290581

情報処理

巻: 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

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

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

10.11309/jssst.30.2_83

10031151476

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

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

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

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

巻: なし ページ: 33-48

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

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

巻: 30 ページ: 83-89

10031151476

人工知能学会誌

巻: (掲載決定)

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

130004549288

人工知能学会論文誌

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

10.1527/tjsai.27.10

130001878739

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

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

130004549288

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

巻: LIPIcs 17 ページ: 86-97

10.4230/LIPIcs.ICLP.2012.86

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

巻: 7317 ページ: 456-462

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)

Fundamenta Informaticae

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

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

巻: 27巻 ページ: 183-196

130004549193

人工知能学会誌 25・1

ページ: 77-85

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

ページ: 183-196

130004549193

Fundamenta Informaticae

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

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

ページ: 112-126

人工知能学会誌 25・1

ページ: 56-56

人工知能学会誌 25・1

ページ: 122-129

120002736925

人工知能学会誌 25・1

ページ: 57-67

Fundamenta Informaticae Vol.102

ページ: 467-487

Constraints 14・2

ページ: 254-272

120000944873

Constraints

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

120000944873

Constraints Vol. 14, Issue 2

ページ: 254-272

120000944873

Constraints Vol.27

ページ: 254-272

120000944873

Proc. of the 2nd International CSP Solver Competition

ページ: 65-69

Proceedings of the Second International CSP Solver Competition

Third International CSP Solver Competition

ページ: 71-75

Computer Software Vol. 24, No. 3

ページ: 75-86

110006366612

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

Discrete Applied Mathematics 154・16

ページ: 2291-2306

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

ページ: 1-8

Proc. CP 2006

ページ: 590-603

120000944873

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

ページ: 1-8

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

ページ: 590-603

120000944873

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

ページ: 590-603

120000944873

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

ページ: 179-185

130005006573

Proc.INAP 2005

ページ: 1-6

Proc.INAP 2005

ページ: 191-199

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

ページ: 1-6

Proc.INAP 2005

ページ: 45-54

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

Computer Software 22-1

ページ: 98-103

130005006638

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

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

Computer Software Vol. 22, No. 3

ページ: 179-185

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

ページ: 45-54

A Proof Theory Workshop, Keio University

130005006638

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

ページ: 98-103

130005006638

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

Workshop on Proof Theory and its Applications(Keio University)

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

130005006638

Workshop on Proof Theory and its Applications, Keio University

Computer Software 20-5

ページ: 90-96

130006949877

Workshop on Logic and Computation(Keio University)

Workshop on Logic and Computation, Keio University

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

ページ: 90-96

130006949877

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 (掲載確定)