"Daniel Kane,Osamu Watanabe","A short implicant of a CNF formula with many satisfying assignments",,"Algorithmica","Springer US","  76","  4","pp. 1203-1223",2016,Feb.
"D. Kane,O. Watanabe","Implicant size of a CNF formula with many satisfying assignments","コンプ研，電子情報通信学会","信学技報 COMP2014-31",,,,,2014,Oct.
"ケイン ダニエル,渡辺 治","多くの充足解を持つ和積形論理式のインプリカントの大きさについて",,"電子情報通信学会技術研究報告. COMP, コンピュテーション","一般社団法人電子情報通信学会","Vol. 114","No. 238",,2014,Sept.