2024-03-29T11:18:26Zhttps://www.tdx.cat/oai/requestoai:www.tdx.cat:10803/840212017-09-23T22:50:05Zcom_10803_284col_10803_290
Encodings and Benchmarks for MaxSAT Solving
Cabiscol i Teixidó, Alba
Béjar Torres, Ramón
Manyà Serres, Felip
SAT
MaxSAT
Codificacions
CSP
Benchmarks
Encodings
Codificaciones
2012-08-30T14:34:07Z
2012-08-30T14:34:07Z
2012-08-30T14:34:07Z
2012-06-22
info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
http://hdl.handle.net/10803/84021
L-923-2012
eng
L'accés als continguts d'aquesta tesi queda condicionat a l'acceptació de les condicions d'ús establertes per la següent llicència Creative Commons: http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/openAccess
Universitat de Lleida
TDX (Tesis Doctorals en Xarxa)