Encodings and Benchmarks for MaxSAT Solving

Bibliographic Details
Author: Cabiscol i Teixidó, Alba
Format: doctoral thesis
Status:Published version
Publication Date:2012
Country:España
Institution:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)
Repository:Recercat. Dipósit de la Recerca de Catalunya
OAI Identifier:oai:recercat.cat:10459.1/63979
Online Access:http://hdl.handle.net/10803/84021
http://hdl.handle.net/10459.1/63979
Access Level:Open access
Keyword:SAT
MaxSAT
Codificacions
CSP
Benchmarks
Encodings
Codificaciones
Ciència de la Computació i Inteligència Artificial
004
id ES_b2fa5ebad60e372d14ceaf8e72679ffc
oai_identifier_str oai:recercat.cat:10459.1/63979
network_acronym_str ES
network_name_str España
repository_id_str
spelling Encodings and Benchmarks for MaxSAT SolvingCabiscol i Teixidó, AlbaSATMaxSATCodificacionsCSPBenchmarksEncodingsCodificacionesCiència de la Computació i Inteligència Artificial004Universitat de LleidaBéjar Torres, RamónManyà Serres, FelipUniversitat de Lleida. Departament d'Informàtica i Enginyeria Industrial201220122012info:eu-repo/semantics/doctoralThesisinfo:eu-repo/semantics/publishedVersionhttp://hdl.handle.net/10803/84021http://hdl.handle.net/10459.1/63979TDX (Tesis Doctorals en Xarxa)reponame:Recercat. Dipósit de la Recerca de Catalunyainstname:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)InglésL'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/http://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:recercat.cat:10459.1/639792026-05-29T05:05:01Z
dc.title.none.fl_str_mv Encodings and Benchmarks for MaxSAT Solving
title Encodings and Benchmarks for MaxSAT Solving
spellingShingle Encodings and Benchmarks for MaxSAT Solving
Cabiscol i Teixidó, Alba
SAT
MaxSAT
Codificacions
CSP
Benchmarks
Encodings
Codificaciones
Ciència de la Computació i Inteligència Artificial
004
title_short Encodings and Benchmarks for MaxSAT Solving
title_full Encodings and Benchmarks for MaxSAT Solving
title_fullStr Encodings and Benchmarks for MaxSAT Solving
title_full_unstemmed Encodings and Benchmarks for MaxSAT Solving
title_sort Encodings and Benchmarks for MaxSAT Solving
dc.creator.none.fl_str_mv Cabiscol i Teixidó, Alba
author Cabiscol i Teixidó, Alba
author_facet Cabiscol i Teixidó, Alba
author_role author
dc.contributor.none.fl_str_mv Béjar Torres, Ramón
Manyà Serres, Felip
Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial
dc.subject.none.fl_str_mv SAT
MaxSAT
Codificacions
CSP
Benchmarks
Encodings
Codificaciones
Ciència de la Computació i Inteligència Artificial
004
topic SAT
MaxSAT
Codificacions
CSP
Benchmarks
Encodings
Codificaciones
Ciència de la Computació i Inteligència Artificial
004
publishDate 2012
dc.date.none.fl_str_mv 2012
2012
2012
dc.type.none.fl_str_mv info:eu-repo/semantics/doctoralThesis
info:eu-repo/semantics/publishedVersion
format doctoralThesis
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10803/84021
http://hdl.handle.net/10459.1/63979
url http://hdl.handle.net/10803/84021
http://hdl.handle.net/10459.1/63979
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.rights.none.fl_str_mv http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universitat de Lleida
publisher.none.fl_str_mv Universitat de Lleida
dc.source.none.fl_str_mv TDX (Tesis Doctorals en Xarxa)
reponame:Recercat. Dipósit de la Recerca de Catalunya
instname:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)
instname_str Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)
reponame_str Recercat. Dipósit de la Recerca de Catalunya
collection Recercat. Dipósit de la Recerca de Catalunya
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869417099953176576
score 15,811543

Similar Items