1. Home
  2. Universitat de Lleida
  3. Departament d'Informàtica i Enginyeria Industrial
  4. View Item

Encodings and Benchmarks for MaxSAT Solving

Author

Cabiscol i Teixidó, Alba

Codirector

Béjar Torres, Ramón

Manyà Serres, Felip

Date of defense

2012-06-22

Legal Deposit

L-923-2012

Pages

160 p.



Share

Department/Institute

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

Keywords

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

Subjects

004 - Computer science and technology. Computing. Data processing

Knowledge Area

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

Documents

Tact1de1.pdf

1.098Mb

 

Export

DIDL MARC MARC_CCUC METS OAI_DC ORE QDC RDF

Rights

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/

This item appears in the following Collection(s)

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