Improved Exact Solvers for Weighted Max-SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Teresa Alsinet, Felip Manyà, Jordi Planes. Improved Exact Solvers for Weighted Max-SAT. In Fahiem Bacchus, Toby Walsh, editors, Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings. Volume 3569 of Lecture Notes in Computer Science, pages 371-377, Springer, 2005. [doi]

This author has not been identified. Look up 'Teresa Alsinet' 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