Skip to main content
placeholder image

Modeling and solving Semiring Constraint Satisfaction Problems by transformation to Weighted Semiring Max-SAT

Conference Paper


Download full-text (Open Access)

Abstract


UOW Authors


  •   Leenen, Louise (external author)
  •   Anbulagan, Anbulagan (external author)
  •   Meyer, Thomas (external author)
  •   Ghose, Aditya

Publication Date


  • 2007

Citation


  • Leenen, L., Anbulagan, A., Meyer, T. & Ghose, A. K. (2007). Modeling and solving Semiring Constraint Satisfaction Problems by transformation to Weighted Semiring Max-SAT. In M. Orgun & J. Thornton (Eds.), Australasian Joint Conference on Artificial Intelligence (pp. 202-212). Berlin: Springer-Verlag.

Scopus Eid


  • 2-s2.0-38349060961

Ro Full-text Url


  • http://ro.uow.edu.au/cgi/viewcontent.cgi?article=2414&context=infopapers

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/1394

Start Page


  • 202

End Page


  • 212

Abstract


UOW Authors


  •   Leenen, Louise (external author)
  •   Anbulagan, Anbulagan (external author)
  •   Meyer, Thomas (external author)
  •   Ghose, Aditya

Publication Date


  • 2007

Citation


  • Leenen, L., Anbulagan, A., Meyer, T. & Ghose, A. K. (2007). Modeling and solving Semiring Constraint Satisfaction Problems by transformation to Weighted Semiring Max-SAT. In M. Orgun & J. Thornton (Eds.), Australasian Joint Conference on Artificial Intelligence (pp. 202-212). Berlin: Springer-Verlag.

Scopus Eid


  • 2-s2.0-38349060961

Ro Full-text Url


  • http://ro.uow.edu.au/cgi/viewcontent.cgi?article=2414&context=infopapers

Ro Metadata Url


  • http://ro.uow.edu.au/infopapers/1394

Start Page


  • 202

End Page


  • 212