Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths.
Vijay DurairajPriyank KallaPublished in: HLDVT (2006)
Keyphrases
- boolean formula
- search algorithm
- sat solvers
- search space
- cnf formula
- search strategies
- truth assignment
- variable ordering
- randomly chosen
- linear constraints
- sat solving
- propositional satisfiability
- dependency analysis
- search problems
- np complete
- satisfiability problem
- stochastic local search
- clause learning
- search procedures
- search strategy
- conjunctive normal form
- boolean variables
- phase transition
- optimal solution
- finite domain
- constraint solver
- state space
- symmetry breaking
- sat problem
- practical problems
- propositional logic