A Short Implicant of a CNF Formula with Many Satisfying Assignments
Work
Year: 2016
Type: article
Source: Algorithmica
Authors Daniel M. Kane, Osamu Watanabe
Cites: 11
Cited by:
Related to: 10
FWCI:
Citation percentile (by year/subfield):
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder National Science Foundation