Unifying Reasoning and Core-Guided Search for Maximum Satisfiability.

Jeremias Berg Matti Järvisalo

Published in: JELIA (2019)

Keyphrases

maximum satisfiability
unsatisfiable cores
boolean satisfiability
max sat
knowledge base
combinatorial problems
genetic algorithm
upper bound
domain specific
branch and bound
automated reasoning
sat problem
computational properties