Local search characteristics of incomplete SAT procedures.
Dale SchuurmansFinnegan SoutheyPublished in: Artif. Intell. (2001)
Keyphrases
- search procedures
- search algorithm
- stochastic local search
- search strategies
- propositional satisfiability
- satisfiability problem
- tabu search
- satisfiability testing
- simulated annealing
- genetic algorithm
- combinatorial optimization
- missing data
- sat solvers
- search procedure
- evolutionary algorithm
- random sat instances
- boolean satisfiability
- max sat
- incomplete data
- bayesian networks