@article{CTT100750373,
  author = {Hidetomo Nabeshima and Katsumi Inoue},
  title = {Coverage-Based Clause Reduction Heuristics for CDCL Solvers},
  journal = {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},
  year = 2017,
}

@article{CTT100723854,
  author = {迫 龍哉 and 宋 剛秀 and 番原 睦則 and 田村 直之 and 鍋島 英知 and 井上 克巳},
  title = {インクリメンタルSAT解法ライブラリとその応用},
  journal = {コンピュータソフトウェア},
  year = 2016,
}

@inproceedings{CTT100723861,
  author = {Adrien Rougny and Yoshitaka Yamamoto and Hidetomo Nabeshima and Gauvain Bourgne and Anne Poupon and Katsumi Inoue and Christine Froidevaux},
  title = {Completing Signaling Networks by Abductive Reasoning with Perturbation Experiments},
  booktitle = {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},
  year = 2016,
}