@conference{601,
  author = {Louise Leenen and Anbulagan and Tommie Meyer and Aditya Ghose},
  title = {Modelling and Solving Semiring Constraint Satisfaction Problems by Transformation to Weighted Semiring Max-SAT},
  year = {2007},
  journal = {Proceedings of the 20th Australasian Joint Conference on Artificial Intelligence},
  month = {December 2007},
  publisher = {Springer},
  address = {Gold Coast, Australia},
}