"Hidetomo Nabeshima,Katsumi Inoue","Coverage-Based Clause Reduction Heuristics for CDCL Solvers",,"In: Serge Gaspers and Toby Walsh (eds.), Theory and Applications of Satisfiability Testing: Proceedings of the 20th International Conference (SAT 2017; Melbourne, VIC, Australia, August 28 - September 1, 2017), Lecture Notes in Computer Science","Springer","Vol. 10491",,"pp. 136-144",2017,Aug.
"”— —΄Ζ,‘v „G,”ΤŒ΄ –r‘₯,“c‘Ί ’Ό”V,“瓇 ‰p’m,ˆδγ Ž–€","ƒCƒ“ƒNƒŠƒƒ“ƒ^ƒ‹SAT‰π–@ƒ‰ƒCƒuƒ‰ƒŠ‚Ζ‚»‚Μ‰ž—p",,"ƒRƒ“ƒsƒ…[ƒ^ƒ\ƒtƒgƒEƒFƒA","Šβ”g‘“X","Vol. 33","No. 4","pp. 16-29",2016,Nov.
"Adrien Rougny,Yoshitaka Yamamoto,Hidetomo Nabeshima,Gauvain Bourgne,Anne Poupon,Katsumi Inoue,Christine Froidevaux","Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments",,"In: Late Breaking Papers of the 25th International Conference on Inductive Logic Programming (ILP 2015; Kyoto University, Kyoto, Japan, August 20-22, 2015), CEUR Workshop Proceedings","CEUR-WS.org","Vol. 1636",,"pp. 95-100",2016,July