Relaxed DPLL Search for MaxSAT.

Lukas Kroc Ashish Sabharwal Bart Selman

Published in: SAT (2009)

Keyphrases

sat solvers
search algorithm
search space
search strategies
upper bound
search strategy
lower bound
search methods
information seeking
propositional logic
knowledge base
np complete
solution space
search queries
sat problem