A SAT Solver for Circuits Based on the Tableau Method.

Uwe Egly Leopold Haller

Published in: Künstliche Intell. (2010)

Keyphrases

combinatorial optimization
sat solvers
objective function
computational complexity
lower bound
evolutionary algorithm
dynamic programming
probabilistic model
upper bound