Return to search

Encodings and Benchmarks for MaxSAT Solving

No description available.
Identiferoai:union.ndltd.org:TDX_UDL/oai:www.tdx.cat:10803/84021
Date22 June 2012
CreatorsCabiscol i Teixidó, Alba
ContributorsBéjar Torres, Ramón, Manyà Serres, Felip, Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial
PublisherUniversitat de Lleida
Source SetsUniversitat de Lleida
LanguageEnglish
Detected LanguageEnglish
Typeinfo:eu-repo/semantics/doctoralThesis, info:eu-repo/semantics/publishedVersion
Format160 p., application/pdf
SourceTDX (Tesis Doctorals en Xarxa)
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/, info:eu-repo/semantics/openAccess

Page generated in 0.0026 seconds