A Methodology for Managing Hard Constraints in CLP Systems

Joxan Jaffar, Spiro Michaylov, Roland H. C. Yap. A Methodology for Managing Hard Constraints in CLP Systems. In PLDI. pages 306-316, 1991.

@inproceedings{JaffarMY91,
  title = {A Methodology for Managing Hard Constraints in CLP Systems},
  author = {Joxan Jaffar and Spiro Michaylov and Roland H. C. Yap},
  year = {1991},
  tags = {constraints, C++},
  researchr = {https://researchr.org/publication/JaffarMY91},
  cites = {0},
  citedby = {0},
  pages = {306-316},
  booktitle = {PLDI},
}