The MaxSAT Problem in the Real-Valued MV-Algebra.

Zuzana Hanikov, Felip Many, Amanda Vidal

Browse the full TABLEAUX paper archive.