Encodings and Benchmarks for MaxSAT Solving

llistat de metadades

Codirector

Béjar Torres, Ramón

Manyà Serres, Felip

Date of defense

2012-06-22

Legal Deposit

L-923-2012

Pages

160 p.



Department/Institute

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

Subjects

004 - Computer science

Documents

Llistat documents

Tact1de1.pdf

1.098Mb

 

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)