A short implicant of a CNF formula with many satisfying assignments

論文・著書情報

タイトル

和文:
英文:	A short implicant of a CNF formula with many satisfying assignments

著者

和文:	Daniel M. Kane, 渡辺治.
英文:	Daniel M. Kane, Osamu Watanabe.

言語

English

掲載誌/書名

和文:
英文:	Lecture Notes in Computer Science

巻, 号, ページ

Vol. 8889 pp. 273-284

出版年月

2014年

出版者

和文:
英文:	Springer International Publishing

会議名称

和文:
英文:	Proc. of the 25th Sympos. on Algoerithms and Computation (ISAAC'14)

開催地

和文:
英文:

DOI