Català
Español
English
Log In
Email address
Password
Log in
or
Have you forgotten your password?
Statistics
Communities & Collections
Search
Català
Español
English
Log In
Email address
Password
Log in
or
Have you forgotten your password?
Home
Recerca
Tesis Doctorals
Encodings and Benchmarks for MaxSAT Solving
Encodings and Benchmarks for MaxSAT Solving
Loading...
Date
2012-06-22
Authors
Cabiscol i Teixidó, Alba
Other authors
Béjar Torres, Ramón
Manyà Serres, Felip
Universitat de Lleida. Departament d'Informàtica i Enginyeria Industrial
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
URI
http://hdl.handle.net/10459.1/63979
DOI
Journal or Serie
Collections
Tesis Doctorals
Full item page