Show simple item record

dc.contributorBéjar Torres, Ramón
dc.contributorManyà Serres, Felip
dc.contributorUniversitat de Lleida. Departament d'Informàtica i Enginyeria Industrial
dc.creatorCabiscol i Teixidó, Alba
dc.date.accessioned2018-06-15T07:07:34Z
dc.date.available2018-06-15T07:07:34Z
dc.date.issued2012-06-22
dc.identifierL-923-2012
dc.identifierhttp://hdl.handle.net/10803/84021
dc.identifier.urihttp://hdl.handle.net/10459.1/63979
dc.formatapplication/pdf
dc.format160 p.
dc.languageeng
dc.publisherUniversitat de Lleida
dc.rightsL'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.rightsinfo:eu-repo/semantics/openAccess
dc.sourceTDX (Tesis Doctorals en Xarxa)
dc.subjectSAT
dc.subjectMaxSAT
dc.subjectCodificacions
dc.subjectCSP
dc.subjectBenchmarks
dc.subjectEncodings
dc.subjectCodificaciones
dc.subjectCiència de la Computació i Inteligència Artificial
dc.subject004
dc.titleEncodings and Benchmarks for MaxSAT Solving
dc.typeinfo:eu-repo/semantics/doctoralThesis
dc.typeinfo:eu-repo/semantics/publishedVersion


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record