A Scalable and Nearly Uniform Generator of SAT Witnesses

Supratik Chakraborty Kuldeep S. Meel Moshe Y. Vardi

Published in: CoRR (2013)

Keyphrases

sat solvers
sat solving
poor quality
search algorithm
case study
memory efficient
graph coloring
propositional satisfiability
np hard
lightweight
parallel algorithm
phase transition
satisfiability problem
sat problem
web scale
max sat
data sets
variable ordering
real time