宋 剛秀  SOH TAKEHIDE

Proc. of 22nd Symposium on Experimental Algorithms (SEA 2024), Leibniz International Proceedings in Informatics

巻: 301

Proc. of 17th International Symposium on Combinatorial Search (SoCS 2024)

巻: -

Proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2023), Lecture Notes in Computer Science (LNCS)

巻: 13884 ページ: 1-17

10.1007/978-3-031-33271-5_12

Proc. of 35th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2023)

巻: - ページ: 294-302

10.1109/ictai59109.2023.00050

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

巻: - ページ: 163-174

10.5220/0011675100003414

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

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

Proc. of 16th International Joint Conference on Biomedical Enginnering Systems and Technologies

巻: hal-03964870

In Proceedings of the XCSP3 Competition 2022

巻: -

arXiv

巻: 2207.13959

Proc. of 12th International Workshop of Pragmatics of SAT

巻: --

人工知能学会研究会資料

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

130008061554

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

巻: JSAI2020 号: 0 ページ: 2N5OS17b05-2N5OS17b05

10.11517/pjsai.JSAI2020.0_2N5OS17b05

130007856950

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(9) ページ: 1749-1760

130007425532

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

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

10.11309/jssst.35.72

130007552525

Proceedings of XCSP3 Competition 2018

巻: なし ページ: 93-94

情報処理学会論文誌

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

120006799300

Annals of Operations Research

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

10.1007/s10479-018-2757-7

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

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

130007552525

情報処理学会論文誌

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

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

巻: - ページ: 73-88

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

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

Journal of Experimental Algorithmics

巻: 21(1) ページ: 1-44

10.1145/2975585

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 11th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2016)

巻: なし

情報処理

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

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

巻: なし ページ: 33-48

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

International Journal on Advances in Life Sciences

巻: 4(3-4) ページ: 154-165