@article{CTT100715512,
  author = {Daniel Kane and Osamu Watanabe},
  title = {A short implicant of a CNF formula with many satisfying assignments},
  journal = {Algorithmica},
  year = 2016,
}

@inproceedings{CTT100721905,
  author = {D. Kane and O. Watanabe},
  title = {Implicant size of a CNF formula with many satisfying assignments},
  booktitle = {信学技報 COMP2014-31},
  year = 2014,
}

@inproceedings{CTT100704715,
  author = {ケイン ダニエル and 渡辺 治},
  title = {多くの充足解を持つ和積形論理式のインプリカントの大きさについて},
  booktitle = {電子情報通信学会技術研究報告. COMP, コンピュテーション},
  year = 2014,
}