Login / Signup
Balancing Scalability and Uniformity in SAT Witness Generator.
Supratik Chakraborty
Kuldeep S. Meel
Moshe Y. Vardi
Published in:
CoRR (2014)
Keyphrases
</>
satisfiability problem
sat solvers
fault tolerance
search algorithm
sat instances
propositional satisfiability
sat solving
high efficiency
max sat
knowledge base
propositional logic
sat problem
stochastic local search algorithms