Approximating Succinct MaxSat.

Christian Schallhart Luca Trevisan

Published in: J. Log. Comput. (2005)

Keyphrases

upper bound
combinatorial optimization
branch and bound algorithm
sat solvers
boolean satisfiability
probabilistic model
decision making
evolutionary algorithm
orders of magnitude