番原 睦則  BANBARA MUTSUNORI

Proceedings of the 18th International Conference and Workshops on Algorithms and Computation (WALCOM 2024)

巻: LNCS 14549 ページ: 242-256

10.1007/978-981-97-0566-5_18

Proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2024)

巻: LNCS 14519 ページ: 55-68

10.1007/978-3-031-52113-3_4

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

巻: LNAI 14281 ページ: 278-286

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

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

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

巻: hal-03964870

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

巻: - ページ: 163-174

10.5220/0011675100003414

人工知能学会研究会資料 人工知能基本問題研究会

巻: 125 号: 0 ページ: 54-59

10.11517/jsaifpai.125.0_54

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

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

10.11309/jssst.40.2_3

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

arXiv preprint

巻: 2201.08118

人工知能学会研究会資料 人工知能基本問題研究会

巻: 119 号: 0 ページ: 02-07

10.11517/jsaifpai.119.0_02

130008143051

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

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

10.11517/pjsai.JSAI2021.0_2E1OS13a01

130008051599

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

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

10.11517/pjsai.JSAI2021.0_1H4GS1c03

130008051554

人工知能学会研究会資料

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

130008061554

XCSP3 Competition 2019 Solver Description

巻: －

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

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

130007552525

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

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

10.11309/jssst.35.72

130007552525

情報処理学会論文誌

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

120006799300

情報処理学会論文誌

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

130007425532

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

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

10.11309/jssst.35.3_65

130007487601

Proceedings of XCSP3 Competition 2018

巻: なし ページ: 93-94

Annals of Operations Research

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

10.1007/s10479-018-2757-7

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) 号: 01 ページ: 1760005-1760005

10.1142/s0218213017600053

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

巻: - ページ: 73-88

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

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

10.11309/jssst.34.1_67

130006855237

Theory and Practice of Logic Programming

巻: 17(4) 号: 4 ページ: 408-461

10.1017/s1471068417000138

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

情報処理

巻: 57(8)

情報処理

巻: 57(8)

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)

巻: － ページ: 63-79

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

巻: -

情報処理

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

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) ページ: 704-709

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

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

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

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

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

巻: 30 ページ: 83-89

10031151476

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

巻: 30 号: 1 ページ: 1_211-1_230

10.11309/jssst.30.1_211

130004549312

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

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

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

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

10.11309/jssst.30.2_83

10031151476

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

巻: 29 号: 4 ページ: 4_114-4_129

10.11309/jssst.29.4_114

130004549288

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

130004549288

人工知能学会誌

巻: (掲載決定)

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

巻: 7317 ページ: 456-462

人工知能学会誌

巻: (掲載決定)

人工知能学会論文誌

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

10.1527/tjsai.27.10

130001878739

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

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

130004549288

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

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

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

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

ページ: 375-376

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

人工知能学会誌 25・1

ページ: 77-85

人工知能学会誌 25・1

ページ: 122-129

Fundamenta Informaticae Vol.102

ページ: 467-487

Fundamenta Informaticae

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

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

ページ: 183-196

130004549193

人工知能学会誌 25・1

ページ: 122-129

Fundamenta Informaticae

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

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

ページ: 112-126

人工知能学会誌 25巻1号

ページ: 77-85

Fundamenta Informaticae

巻: 102(3-4) 号: 3-4 ページ: 467-487

10.3233/fi-2010-314

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

巻: 27 号: 4 ページ: 183-196

10.11309/jssst.27.4_183

130004549193

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

巻: 27巻 ページ: 183-196

130004549193

人工知能学会誌 25・1

ページ: 77-85

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

ページ: 112-126

人工知能学会誌 25巻1号

ページ: 122-129

Constraints 14・2

ページ: 254-272

120000944873

Constraints

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

120000944873

Vol.14Issue.2

ページ: 254-272

Constraints 14・2

ページ: 254-272

120000944873

Constraints Vol.27

ページ: 254-272

120000944873

Proceedings of the Third International CSP Solver Competition

ページ: 77-82

Proc. of the 2nd International CSP Solver Competition

ページ: 65-69

Proceedings of the Third International CSP Solver Competition

ページ: 71-75

Proceedings of the Second International CSP Solver Competition

ページ: 65-69

コンピュータソフトウェア 24巻3号

ページ: 75-86

130004638868

Computer Software Vol. 24, No. 3

ページ: 75-86

40022111103

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

コンピュータソフトウェア 第24巻・第3号

ページ: 75-86

130004638868

コンピュータソフトウェア 第24巻・第3号

ページ: 75-86

130004638868

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

In Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management

ページ: 45-54

日本ソフトウェア科学会第22回大会

130004638868

A Proof Theory Workshop(Keio University)

130005006638

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

ページ: 98-103

130005006638

Proc.INAP 2005

ページ: 45-54

Computer Software 22-1

ページ: 98-103

130005006638

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

Proc.INAP 2005

ページ: 191-199

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

Workshop on Proof Theory and its Applications, Keio University

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

Workshop on Proof Theory and its Applications(Keio University)

IPAX Spring 2004

Franco-Japanese Workshop on Constraint Programming

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

130005006638

Workshop on Logic and Computation(Keio University)

Computer Software 20-5

ページ: 90-96

130004548997

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

ページ: 90-96

130006949877

Workshop on Logic and Computation, Keio University

Ph.D Dissertation(Graduate School of Science and Technology, Kobe University)

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