Present and Future of Practical SAT Solving.

Oliver Kullmann

Published in: Complexity of Constraints (2008)

Keyphrases

sat solving
sat solvers
boolean satisfiability
boolean optimization
genetic algorithm
simulated annealing
decision problems