Encodings and Benchmarks for MaxSAT Solving

Loading...
Thumbnail Image
Date
2012-06-22
Authors
Cabiscol i Teixidó, AlbaCabiscol i Teixidó, Alba - ORCID ID
Other authors
Béjar Torres, RamónBéjar Torres, Ramón - ORCID ID
Manyà Serres, Felip
Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
DOI
Journal or Serie
Collections