Sciweavers

34
Voted
ISMVL
2006
IEEE
109views Hardware» more  ISMVL 2006»
14 years 6 months ago
Towards Solving Many-Valued MaxSAT
We define the MaxSAT problem for many-valued CNF formulas, called many-valued MaxSAT, and establish its complexity class. We then describe a basic branch and bound algorithm for ...
Josep Argelich, Xavier Domingo, Chu Min Li, Felip ...