1. Inicio
  2. Universitat de Lleida
  3. Departament d'Informàtica i Enginyeria Industrial
  4. Ver ítem

Encodings and Benchmarks for MaxSAT Solving

Autor/a

Cabiscol i Teixidó, Alba

Codirector/a

Béjar Torres, Ramón

Manyà Serres, Felip

Fecha de defensa

2012-06-22

Depósito Legal

L-923-2012

Páginas

160 p.



Compartir

Departamento/Instituto

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

Palabras clave

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

Materias

004 - Informática

Área de conocimiento

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

Documentos

Tact1de1.pdf

1.098Mb

 

Exportar

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Derechos

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/

Este ítem aparece en la(s) siguiente(s) colección(ones)

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