A resolution calculus for MinSAT.

Chu-Min Li Fan Xiao Felip Manyà

Published in: Log. J. IGPL (2021)

Keyphrases

combinatorial optimization problems
combinatorial auctions
branch and bound algorithm
unsatisfiable cores
boolean satisfiability
knapsack problem
sat solvers
sat problem
lower bound
special case
optimization problems
dynamic programming
upper bound
branch and bound