Quantified Maximum Satisfiability: - A Core-Guided Approach.

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

Published in: SAT (2013)

Keyphrases

maximum satisfiability
unsatisfiable cores
boolean satisfiability
max sat
computational complexity
learning algorithm
upper bound