Solving MAXSAT by Solving a Sequence of Simpler SAT Instances.

Jessica Davies Fahiem Bacchus

Published in: CP (2011)

Keyphrases

sat instances
sat solvers
combinatorial optimization
sat problem
stochastic local search
evolutionary algorithm
upper bound
logic programs
orders of magnitude
constraint satisfaction
search strategies
satisfiability problem
computational properties