A Theoretical Analysis of the k-Satisfiability Search Space.
Andrew M. SuttonAdele E. HoweL. Darrell WhitleyPublished in: SLS (2009)
Keyphrases
- theoretical analysis
- search space
- satisfiability problem
- sat solvers
- numerical simulations
- search algorithm
- sat problem
- phase transition
- np complete
- reduce the search space
- search tree
- heuristic search
- prune the search space
- propositional logic
- metaheuristic
- global optimum
- search procedure
- sat instances
- constraint satisfaction problems
- propositional satisfiability
- boolean formula
- computational complexity
- terminological reasoning
- complete search
- solution space
- search strategy
- fitness function
- hill climbing
- decision procedures
- optimization problems
- state space
- reasoning problems
- objective function
- quantified boolean formulas
- bayesian networks
- effective pruning
- case study