A Clause Tableau Calculus for MaxSAT.

Chu Min Li Felip Manyà Joan Ramon Soler

Published in: IJCAI (2016)

Keyphrases

tableau calculus
description logics
upper bound
knowledge base
sat solvers
search space
branch and bound algorithm
combinatorial optimization
minimal models
theorem prover
sat problem
horn clauses
np hard
model checking
boolean formula
clause learning