dc.contributor
Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial
dc.contributor.author
Cabiscol i Teixidó, Alba
dc.date.accessioned
2012-08-30T14:34:07Z
dc.date.available
2012-08-30T14:34:07Z
dc.date.issued
2012-06-22
dc.identifier.uri
http://hdl.handle.net/10803/84021
dc.format.mimetype
application/pdf
dc.publisher
Universitat de Lleida
dc.rights.license
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/
dc.rights.uri
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
*
dc.source
TDX (Tesis Doctorals en Xarxa)
dc.subject
Codificaciones
dc.subject.other
Ciència de la Computació i Inteligència Artificial
dc.title
Encodings and Benchmarks for MaxSAT Solving
dc.type
info:eu-repo/semantics/doctoralThesis
dc.type
info:eu-repo/semantics/publishedVersion
dc.contributor.codirector
Béjar Torres, Ramón
dc.contributor.codirector
Manyà Serres, Felip
dc.rights.accessLevel
info:eu-repo/semantics/openAccess
dc.identifier.dl
L-923-2012
