A new framework for max-sat solving

Tesis doctoral de Federico Heras Viaga The propositional satisfiability problem (sat) is the problem of determining whether a truth assignment […]

, , , , ,