Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers
Loading...
Date
2005
Other authors
Impact
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Lecture Notes in Computer Science, 2005, vol. 3709, p. 403-414