Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Louise Leenen, Anbulagan, Thomas Meyer, Aditya K. Ghose. Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. In Mehmet A. Orgun, John Thornton, editors, AI 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings. Volume 4830 of Lecture Notes in Computer Science, pages 202-212, Springer, 2007. [doi]

This author has not been identified. Look up 'Louise Leenen' in GoogleThis author has not been identified. Look up 'Anbulagan' in GoogleThis author has not been identified. Look up 'Thomas Meyer' in GoogleThis author has not been identified. Look up 'Aditya K. Ghose' in Google

runs on WebDSL