Towards Solving Many-Valued MaxSAT

Josep Argelich, Xavier Domingo, Chu Min Li, Felip ManyĆ , Jordi Planes. Towards Solving Many-Valued MaxSAT. In 36th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2006), 17-20 May 2006, Singapore. pages 26, IEEE Computer Society, 2006. [doi]

Abstract

Abstract is missing.