Quantified maximum satisfiability.

Alexey Ignatiev Mikolás Janota João Marques-Silva

Published in: Constraints An Int. J. (2016)

Keyphrases

maximum satisfiability
boolean satisfiability
max sat
combinatorial problems
sat problem
branch and bound algorithm
probabilistic planning
symmetry breaking
randomly generated
graph coloring
sat solvers
satisfiability problem
lower bound
optimal solution
objective function
upper bound
search algorithm