Encodings and Benchmarks for MaxSAT Solving

Autor: Alba Cabiscol
Universidad:
Director: Felip Manyà, Ramon Bejar
Año: 2012
Resumen: