越村 三幸  KISHIMURA Miyuki

Pacific Rim International Conference on Artificial Intelligence

巻: 1 ページ: 17-31

10.1007/978-3-031-20862-1_2

Constraints

巻: 27 号: 1-2 ページ: 99-115

10.1007/s10601-022-09326-z

Economics Letters

巻: 217 ページ: 1-4

10.1016/j.econlet.2022.110675

Mathematical Problems in Engineering

巻: 2021 ページ: 1-17

10.1155/2021/9615463

電子情報通信学会論文誌D 情報・システム

巻: J102-D ページ: 313-323

Constraints

巻: 24 ページ: 25-55

Constraints

巻: 24 号: 2 ページ: 133-161

10.1007/s10601-018-9299-0

電子情報通信学会論文誌 D

巻: J102-D ページ: 313-323

Journal of Logic and Computation

巻: 29 号: 6 ページ: 913-931

10.1093/logcom/exz017

Constraints

巻: 24 号: 1 ページ: 25-55

10.1007/s10601-018-9295-4

Proceedings of 29th International Conference on Tools with Artificial Intelligence

巻: 1 ページ: 868-875

10.1109/ictai.2017.00135

情報処理

巻: 57 ページ: 716-719

情報処理

巻: 57 ページ: 730-733

IEICE Transactions on Information and Systems

巻: E99.D 号: 1 ページ: 141-150

10.1587/transinf.2015EDP7223

130005116199

IEICE Transactions on Information and Systems

巻: E97.D 号: 7 ページ: 1812-1821

10.1587/transinf.E97.D.1812

130004519277

IEICE Transactions on Information and Systems

巻: E97.D 号: 7 ページ: 1781-1789

10.1587/transinf.E97.D.1781

130004519274

Proc. of ICTAI 2013

巻: なし ページ: 9-17

10.1109/ictai.2013.13

九州大学 システム情報科学紀要

巻: 18(2) ページ: 85-92

120005306729

Proc. of the SAT2013

Proc. of ICTAI 2013

巻: なし ページ: 284-291

10.1109/ictai.2013.51

九州大学 システム情報科学紀要

巻: 第18巻 ページ: 85-92

120005306729

Proc. of SAT 2013

巻: なし ページ: 415-421

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

Boolean Modeling and Computation

巻: Vol.8 ページ: 95-100

Journal on Satisfiability, Boolean Modeling and Computation

巻: 8 ページ: 95-100

Proc. of 2012 Spring World Congress on Engineering and Technology (SCET2012)

巻: 2 ページ: 257-260

10.1109/scet.2012.6342076

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

巻: Vol.29, No.4 ページ: 9-14

J. on Satisfiability, Boolean Modeling and Computation

巻: Vol.8 ページ: 95-100

Proc. of 24th Int'l Conf. on Tools with Artificial Intelligence

ページ: 910-915

Proc. of 24th Int'l Conf. on Tools with Artificial Intelligence

ページ: 910-915

Journal on Satisfiability, Boolean Modeling and Computation

巻: 8 ページ: 95-100

4th International Conference on Agents and Artificial Intelligence

巻: 1 ページ: 27-27

Evolutionary Computation and Multi-Agent Systems and Simulation Workshop

ページ: 307-314

Evolutionary Computation and Multi-Agent Systems and Simulation (ECoMASS) Workshop, GECCO'12 Companion Publication

巻: なし ページ: 307-314

10.1145/2330784.2330829

Journal on Satisfiability, Boolean Modeling and Computation

巻: 8 ページ: 95-100

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

巻: 29 号: 4 ページ: 4_9-4_14

10.11309/jssst.29.4_9

10031077880

ICAART 2012

巻: Vol.1 ページ: 277-282

Proc. of 24th International Conference on Tools with Artificial Intelligence

巻: なし

Proc. of 2012 Spring World Congress on Engineering and Technology

巻: Vol.2 ページ: 257-260

Boolean Modeling and Computation

巻: Vol.8 ページ: 95-100

Proc.of 10th IEEE Internationa Conference on Cybernetic Intelligent Systems

ページ: 13-19

Proc.of 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)

ページ: 622-626

Proc.of International Workshop on First-Order Theorem Proving (FTP 2011)

ページ: 7-15

Proc. of 10th Annual Conf. Companion on Genetic and Evolutionary Computation

ページ: 347-357

Proc. of 10th IEEE Int'l Conf. on Cybernetic Intelligent Systems

ページ: 13-19

Proa.of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11)

ページ: 347-357

Proc.of 2011 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2011)

ページ: 622-626

ICAART 2011

巻: Vol.1 ページ: 376-381

Proc.of ICAART 2011

巻: 1 ページ: 376-381

Proc. of 2011 IEEE Int'l Conf. on Fuzzy Systems

ページ: 622-626

システム情報科学紀要

巻: 16(2) ページ: 75-81

120003370634

Proc. of FTP 2011

ページ: 7-15

Proc.of 10th IEEE Internationa Conference on Cybernetic Intelligent Systems

ページ: 13-19

Proc.of 10th Annual Conference Companion on Genetic and Evolutionary Computation (GECCO'11)

ページ: 347-357

Proc.of ICAART 2011

巻: 1 ページ: 625-628

110008003663

Proc.of 13th Annual Conf.Companion on Genetic and Evolutionary Computation (GECCO 2011)

ページ: 347-354

10.1145/2001858.2002017

Proc.of 8th Int'l Workshop on First-Order Theorem Proving (FTP 2011)

ページ: 7-15

FTP 2011, TABLEAUX 2011 Workshops, Tutorials, and Short Papers

ページ: 7-15

ICAART 2011

巻: Vol.1 ページ: 628-628

110008003663

TABLEAUX 2011 Workshops, Tutorials, and Short Papers

ページ: 7-15

Australian Journal of Intelligent Information Processing Systems

巻: 12・4 ページ: 1-6

IEICE Trans. on Information and Systems

巻: Vol.E93-D ページ: 2316-2318

10027365040

ICAART 2010

巻: Vol.2 ページ: 192-199

Australian Journal of Intelligent Information Processing Systems

巻: Vol.12 ページ: 1-6

九州大学大学院システム情報科学紀要

巻: 第15巻,第2号 ページ: 91-98

120002795249

第9回情報科学技術フォーラム講演論文集

巻: 第2分冊 ページ: 405-406

IEICE TRANSACTIONS on Information and Systems

巻: E93-D・8 ページ: 2316-2318

10027365040

IEICE TRANSACTIONS on Information and Systems (Letter)

巻: Vol.E93-D ページ: 2316-2318

10027365040

IEICE TRANSACTIONS on Information and Systems (Letter)

巻: Vol.E93-D, No.8 ページ: 2316-2318

10027365040

IEICE TRANSACTIONS on Information and Systems

巻: Vol.E93-D, No.8 ページ: 2316-2318

10027365040

Int'l Workshop on Web Personalization and Recommender Systems

ページ: 269-272

130008064889

ICONIP 2010 Better Paper Award 受賞, Australian Journal of Intelligent Information Processing Systems

巻: Vol.12, No.4 ページ: 1-6

人工知能学会誌

巻: Vol.25,No.1 ページ: 96-104

第9回情報科学技術フォーラム講演論文集

巻: 第2分冊 ページ: 167-168

Int'l Workshop on Web Personalization and Recommender Systems

ページ: 269-272

130008064889

Australian Journal of Intelligent Information Processing Systems

巻: Vol.12, No.4 ページ: 1-6

九州大学大学院システム情報科学紀要

巻: 第15巻, 第2号 ページ: 91-98

120002795249

九州大学大学院システム情報科学紀要

巻: 第15巻, 第2号 ページ: 65-69

120002795245

WebPRES 2010

ページ: 269-272

130008064889

IEICE Trans.on Information and Systems Vol.E93-D

ページ: 2316-2318

10027365040

IEICE TRANS. on Information and Systems

巻: vol.E93-D-8 ページ: 2316-2318

10027365040

International Conference on Agents and Artificial Intelligence(ICAART)2010, Vol.2

ページ: 192-199

人工知能学会誌 25・1

ページ: 96-104

人工知能学会誌 25・1

ページ: 96-104

IEICE TRANSACTIONS on Information and Systems (Letter)

巻: Vol.E93-D, No.8 ページ: 2316-2318

10027365040

Int'l Workshop on Web Personalization and Recommender System

ページ: 269-272

130008064889

Int'l Workshop on Web Personalization and Recommender Systems

ページ: 269-272

130008064889

ACCDS 2009

ページ: 41-56

Proc. of FTP 2009

ページ: 49-59

7th International Workshop on First-Order Theorem Proving(FTP 2009)

ページ: 49-59

International Workshop on Agent-based Collaboration, Coordination, and Decision Support(ACCDS 2009)

ページ: 41-56

7th International Workshop on First-Order Theorem Proving

ページ: 49-59

九州大学大学院システム情報科学紀要 10・1(印刷中)

110001131938

九州大学大学院システム情報科学紀要 10

ページ: 21-26

110001131578

九州大学大学院システム情報科学紀要 10・1(印刷中)

110001131578

九州大学大学院システム情報科学紀要 10・1(印刷中)

九州大学大学院システム情報科学紀要 10・1(印刷中)

九州大学大学院システム情報科学紀要 10・1(印刷中)

九州大学大学院システム情報科学紀要 10・1(印刷中)

110001131938

Research Reports on I.S.E.E. of Kyushu University(in Japanese) Vol.10

ページ: 21-26

110001131578

IPSJ Journal Vol.44

ページ: 1163-1172

情報処理学会論文誌 44

ページ: 1163-1172