Satisfiability-Based Algorithms for Boolean Optimization.

Vasco M. Manquinho João P. Marques Silva

Published in: Ann. Math. Artif. Intell. (2004)

Keyphrases

learning algorithm
computational complexity
optimization problems
special case
orders of magnitude
dynamic programming
np complete
constraint satisfaction problems
practical problems