Encodings and Benchmarks for MaxSAT Solving

Detalhes bibliográficos
Autor: Cabiscol i Teixidó, Alba
Tipo de documento: tese
Estado:Versão publicada
Data de publicação:2012
País:España
Recursos:CBUC, CESCA
Repositório:TDR. Tesis Doctorales en Red
OAI Identifier:oai:www.tdx.cat:10803/84021
Acesso em linha:http://hdl.handle.net/10803/84021
Access Level:Acceso aberto
Palavra-chave:SAT
MaxSAT
Codificacions
CSP
Benchmarks
Encodings
Codificaciones
Ciència de la Computació i Inteligència Artificial
004
id ES_40bf339bfaececb41cdc326dd781acc4
oai_identifier_str oai:www.tdx.cat:10803/84021
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/publishedVersion160 p.application/pdfapplication/pdfhttp://hdl.handle.net/10803/84021TDX (Tesis Doctorals en Xarxa)reponame:TDR. Tesis Doctorales en Redinstname:CBUC, CESCAInglé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:www.tdx.cat:10803/840212026-06-14T12:46:07Z
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
url http://hdl.handle.net/10803/84021
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.format.none.fl_str_mv 160 p.
application/pdf
application/pdf
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:TDR. Tesis Doctorales en Red
instname:CBUC, CESCA
instname_str CBUC, CESCA
reponame_str TDR. Tesis Doctorales en Red
collection TDR. Tesis Doctorales en Red
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869406778392838144
score 15.198674

Registros relacionados