Encodings and Benchmarks for MaxSAT Solving

Author: Alba Cabiscol
University:
Advisor: Felip Manyà, Ramon Bejar
Year: 2012
Abstract: