Backbones and Backdoors in Satisfiability.
Philip KilbyJohn K. SlaneySylvie ThiébauxToby WalshPublished in: AAAI (2005)
Keyphrases
- satisfiability problem
- sat instances
- np complete
- sat problem
- phase transition
- search algorithm
- temporal logic
- sat solvers
- decision procedures
- stochastic local search
- propositional logic
- randomly generated
- terminological reasoning
- computational complexity
- search space
- minimum spanning tree
- image sequences
- genetic algorithm
- neural network
- hidden structure
- data sets