Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability

Anton Belov Matti Järvisalo

Published in: CoRR (2011)

Keyphrases

boolean satisfiability
special case
sat problem
probabilistic planning
np complete
metaheuristic
branch and bound algorithm
sat solvers
combinatorial problems
sat solving