Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers

Loading...
Thumbnail Image
Date
2005
Authors
Li, Chu-Min
Manyà Serres, Felip
Planes Cid, JordiPlanes Cid, Jordi - ORCID ID
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title