論文

• 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, Aug. 2017.
• 迫 龍哉, 宋 剛秀, 番原 睦則, 田村 直之, 鍋島 英知, 井上 克巳. インクリメンタルSAT解法ライブラリとその応用, コンピュータソフトウェア, 岩波書店, Vol. 33, No. 4, pp. 16-29, Nov. 2016.

国際会議発表 (査読有り)

• 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, July 2016.

[ BibTeX 形式で保存 ]    [ 論文・著書をCSV形式で保存 ]    [ 特許をCSV形式で保存 ]