A Max-SAT Solver with Lazy Data Structures

Loading...
Thumbnail Image
Date
2004
Authors
Alsinet, TeresaAlsinet, Teresa - ORCID ID
Manyà Serres, Felip
Planes Cid, JordiPlanes Cid, Jordi - ORCID ID
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title