井上 克巳
イノウエ カツミ (Katsumi Inoue)
更新日: 04/01
MISC
61
表示件数
-
CoRR abs/2403.07885 4p. 2024年1月31日
-
CoRR abs/2312.02566 15p. 2023年12月5日
-
In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2023: Solver, Benchmark and Proof Checker Descriptions, Department of Computer Science Series of Publications B, University of Helsinki B-2023-1 41 2023年8月
-
CoRR abs/2307.10688 15p. 2023年7月20日
-
CoRR abs/2306.06821 29p. 2023年6月13日
-
In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki B-2022-1 43 2022年8月
-
In: Tomáš Balyo, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2022: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki B-2022-1 74-77 2022年8月
-
CoRR abs/2205.02919 19p. 2022年5月5日
-
CoRR abs/2204.13570 14p. 2022年4月28日
-
In: Tomáš Balyo, Nils Froleyks, Marijn J. H. Heule, Markus Iser, Matti Järvisalo, Martin Suda (eds.), Proceedings of SAT Competition 2020: Solver and Benchmark Descriptions, Department of Computer Science Series of Publications B, University of Helsinki B-2020-1 58 2020年8月
-
人工知能学会誌 34(5) 703-713 2019年9月 招待有り
-
bioRxiv 510495 2019年1月
-
CoRR abs/1805.00068 2018年4月
-
In: Ute Schmid, Stephen H. Muggleton and Rishabh Singh (eds.), Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382), Dagstuhl Reports 7(9) 2018年3月 招待有り
-
Machine Learning 106(12) 1863-1865 2017年12月 招待有り
-
第29回RAMPシンポジウム論文集 73-88 2017年10月 招待有り
-
人工知能学大事典 5-24 264-265 2017年7月 招待有り
-
電子情報通信学会「知識ベース」S3群3編3章 3-4 2017年 招待有り
-
情報処理 57(8) 724-729 2016年7月 招待有り