Exact MinSAT Solving.

Chu Min Li Felip Manyà Zhe Quan Zhu Zhu

Published in: SAT (2010)

Keyphrases

combinatorial optimization problems
combinatorial optimization
branch and bound algorithm
combinatorial auctions
sat instances
exact solution
cost function
worst case
unsatisfiable cores
linear programming
particle swarm optimization
sat solvers
sat problem