田村 直之  TAMURA NAOYUKI

Proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)

巻: 13880 ページ: 232-249

10.1007/978-3-031-24841-2_15

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

巻: 40 号: 2 ページ: 2_3-2_18

10.11309/jssst.40.2_3

Proceedings of the 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023)

巻: - ページ: 163-174

10.5220/0011675100003414

Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023)

巻: LNAI 14281 ページ: 262-277

10.1007/978-3-031-43619-2_19

Proceedings of the 21st International Conference on Computational Methods in Systems Biology (CMSB 2023)

巻: LNCS 14137 ページ: 175-183

10.1007/978-3-031-42697-1_12

人工知能学会全国大会論文集

巻: JSAI2021 号: 0 ページ: 1H4GS1c03-1H4GS1c03

10.11517/pjsai.JSAI2021.0_1H4GS1c03

130008051554

人工知能学会全国大会論文集

巻: JSAI2021 号: 0 ページ: 2E1OS13a01-2E1OS13a01

10.11517/pjsai.JSAI2021.0_2E1OS13a01

130008051599

人工知能学会研究会資料

巻: SIG-FPAI-B903-02 B5(03) ページ: 6-11

130008061554

XCSP3 Competition 2019 Solver Description

巻: －

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

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

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

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

10.11309/jssst.35.72

130007552525

情報処理学会論文誌

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

120006799300

Annals of Operations Research

巻: - 号: 1 ページ: 3-37

10.1007/s10479-018-2757-7

情報処理学会論文誌

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

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

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

10.11309/jssst.34.1_67

130006855237

International Journal on Artificial Intelligence Tools

巻: 26(1) 号: 01 ページ: 1760005-1760005

10.1142/s0218213017600053

Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

巻: 10377 ページ: 265-278

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

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

巻: - ページ: 73-88

第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-4_29

10.11309/jssst.33.4_16

130005290581

情報処理

巻: 57(8)

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015, SAT and CSP track)

巻: - ページ: 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

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

巻: 31 号: 1 ページ: 1_116-1_130

10.11309/jssst.31.1_116

130004549327

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

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

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

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

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

10.11309/jssst.30.2_83

10031151476

人工知能学会誌

巻: (掲載決定)

人工知能学会論文誌

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

10.1527/tjsai.27.10

130001878739

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

130004549288

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

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

130004549288

The 28th International Conference on Logic Programming (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

人工知能学会誌 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

40022111103

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

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

130004548997

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