Skip to main content
eScholarship
Open Access Publications from the University of California

UC San Diego

UC San Diego Previously Published Works bannerUC San Diego

A Short Implicant of a CNF Formula with Many Satisfying Assignments

Published Web Location

https://cseweb.ucsd.edu/~dakane/CNFs.pdf
No data is associated with this publication.
Item not freely available? Link broken?
Report a problem accessing this item