Exploiting the Structure of Unsatisfiable Cores in MaxSAT.

Carlos Ansótegui Frédéric Didier Joel Gabàs

Published in: IJCAI (2015)

Keyphrases

unsatisfiable cores
upper bound
orders of magnitude
hidden structure
learning algorithm
data structure
search algorithm
maximum satisfiability