Encodings and Benchmarks for MaxSAT Solving

llistat de metadades

Autor/a

Cabiscol i Teixidó, Alba

Codirector/a

Béjar Torres, Ramón

Manyà Serres, Felip

Data de defensa

2012-06-22

Dipòsit Legal

L-923-2012

Pàgines

160 p.



Compartir

Departament/Institut

Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial

Paraules clau

SAT; MaxSAT; Codificacions; CSP; Benchmarks; Encodings; Codificaciones

Matèries

004 - Informàtica

Àrea de coneixement

Ciència de la Computació i Inteligència Artificial

Documents

Llistat documents

Tact1de1.pdf

1.098Mb

 

Exportar

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Drets

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/
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/

Aquest element apareix en la col·lecció o col·leccions següent(s)

Departament d'Informàtica i Enginyeria Industrial [77]