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

researchr

You are not signed in
Sign in
Sign up

Chu Min Li, Felip Manyà, Jordi Planes. Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers. In Peter van Beek, editor, Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings. Volume 3709 of Lecture Notes in Computer Science, pages 403-414, Springer, 2005. [doi]

This author has not been identified. Look up 'Chu Min Li' in GoogleThis author has not been identified. Look up 'Felip Manyà' in GoogleThis author has not been identified. Look up 'Jordi Planes' in Google

runs on WebDSL