Many-Valued MinSAT Solving.

Josep Argelich Chu Min Li Felip Manyà Zhu Zhu

Published in: ISMVL (2014)

Keyphrases

combinatorial optimization problems
sat instances
branch and bound algorithm
combinatorial optimization
combinatorial auctions
knapsack problem
optimization problems
modal logic
computational properties
unsatisfiable cores