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:
CoRR (2015)
Keyphrases
</>
sat solving
sat solvers
boolean satisfiability
boolean optimization
data structure
sat problem
objective function
search tree
search algorithm
search space
orders of magnitude
constraint satisfaction
sat encodings