Decomposing SAT Instances with Pseudo Backbones.
Wenxiang ChenL. Darrell WhitleyPublished in: EvoCOP (2017)
Keyphrases
- sat instances
- sat solvers
- satisfiability problem
- sat problem
- randomly generated
- computational properties
- propositional satisfiability
- phase transition
- random sat instances
- boolean satisfiability
- random instances
- search algorithm
- np complete
- temporal logic
- stochastic local search
- expressive power
- heuristic search
- constraint satisfaction problems
- search space
- boolean formula
- data structure
- information retrieval