A Scalable and Nearly Uniform Generator of SAT Witnesses.

Supratik Chakraborty Kuldeep S. Meel Moshe Y. Vardi

Published in: CAV (2013)

Keyphrases

sat solvers
satisfiability problem
highly scalable
sat instances
boolean satisfiability
search algorithm
search strategies
pseudo boolean constraints
real time
state space
heuristic search
max sat
stochastic local search
sat solving
stochastic local search algorithms