Louise Leenen Anbulagan Thomas Meyer Aditya K. Ghose Modeling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT. 202-212 2007 conf/ausai/2007 Australian Conference on Artificial Intelligence http://dx.doi.org/10.1007/978-3-540-76928-6_22 db/conf/ausai/ausai2007.html#LeenenAMG07