Login / Signup
Constrained Sampling and Counting: Universal Hashing Meets SAT Solving.
Kuldeep S. Meel
Moshe Y. Vardi
Supratik Chakraborty
Daniel J. Fremont
Sanjit A. Seshia
Dror Fried
Alexander Ivrii
Sharad Malik
Published in:
AAAI Workshop: Beyond NP (2016)
Keyphrases
</>
sat solving
sat solvers
boolean satisfiability
boolean optimization
sat problem
search tree
data structure
sat encodings