MaxSAT resolution for regular propositional logic.

Jordi Coll Chu-Min Li Felip Manyà Elifnaz Yangin

Published in: Int. J. Approx. Reason. (2023)

Keyphrases

propositional logic
valued logic
belief revision
first order logic
quantified boolean formulae
lattice theory
possibilistic logic
upper bound
satisfiability testing
branch and bound algorithm
propositional satisfiability
lower bound
branch and bound
sat solvers
proof procedure
davis putnam