Adding Constraint Solving to Mercury

Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace. Adding Constraint Solving to Mercury. In Pascal Van Hentenryck, editor, Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings. Volume 3819 of Lecture Notes in Computer Science, pages 118-133, Springer, 2006. [doi]

@inproceedings{BecketBMSSW06,
  title = {Adding Constraint Solving to Mercury},
  author = {Ralph Becket and Maria J. García de la Banda and Kim Marriott and Zoltan Somogyi and Peter J. Stuckey and Mark Wallace},
  year = {2006},
  doi = {10.1007/11603023_9},
  url = {http://dx.doi.org/10.1007/11603023_9},
  tags = {constraints},
  researchr = {https://researchr.org/publication/BecketBMSSW06},
  cites = {0},
  citedby = {0},
  pages = {118-133},
  booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
  editor = {Pascal Van Hentenryck},
  volume = {3819},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-30947-0},
}