Published on IIIA (http://www.iiia.csic.es)

Encodings and Benchmarks for MaxSAT Solving

Author: 
Alba Cabiscol [1]
Year: 
2012
University: 
Universitat de LLeida
Advisor: 
Felip Manyà [2]
Advisor: 
Ramon Bejar [3]

22/6/2012

IIIA-CSIC
Campus de la UAB, E-08193 Bellaterra, Catalonia (Spain)
Tel: (+34) 93 580 9570 - Fax: (+34) 93 580 9661
Source URL: http://www.iiia.csic.es/en/phds/encodings-and-benchmarks-maxsat-solving

Links:
[1] http://www.iiia.csic.es/en/individual/alba-cabiscol
[2] http://www.iiia.csic.es/en/individual/felip-manya
[3] http://www.iiia.csic.es/en/individual/ramon-bejar