Solving Over-Constrained Problems with SAT Technology

Thumbnail Image
Files
007826.pdf(182.87 KB)
Date
2005
Authors
Argelich Romà, JosepArgelich Romà, Josep - ORCID ID
Manyà Serres, Felip
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
URI
http://hdl.handle.net/10459.1/57269
DOI
https://doi.org/10.1007/11499107_1
Journal or Serie
Lecture Notes in Computer Science, 2005, vol. 3569, p. 1-15
Collections
Articles publicats (Enginyeria Informàtica i Disseny Digital)
Grup de Recerca en Energia i Intel·ligència Artificial (GREiA) (INSPIRES)
Publicacions de projectes de recerca del Plan Nacional