Balancing Scalability and Uniformity in SAT Witness Generator.

Supratik Chakraborty Kuldeep S. Meel Moshe Y. Vardi

Published in: DAC (2014)

Keyphrases

satisfiability problem
sat solvers
phase transition
sat problem
stochastic local search
learning algorithm
search strategies
high efficiency
highly scalable
propositional satisfiability
evolutionary algorithm
tabu search
fault tolerance
search problems
max sat
boolean satisfiability