On Solving Boolean Optimization with Satisfiability-Based Algorithms.

Vasco M. Manquinho João P. Marques Silva

Published in: AI&M (2000)

Keyphrases

boolean optimization
sat solving
combinatorial optimization
computational complexity
stochastic local search
genetic algorithm
orders of magnitude
heuristic search
decision problems
search strategies
satisfiability problem