Solving Over-Constrained Problems with SAT Technology

Loading...
Thumbnail Image
Date
2005
Authors
Argelich Romà, JosepArgelich Romà, Josep - ORCID ID
Manyà Serres, Felip
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title