Constraint Solving by Narrowing in Combined Algebraic Domains

Hélène Kirchner, Christophe Ringeissen. Constraint Solving by Narrowing in Combined Algebraic Domains. In ICLP. pages 617-631, 1994.

@inproceedings{KirchnerR94,
  title = {Constraint Solving by Narrowing in Combined Algebraic Domains},
  author = {Hélène Kirchner and Christophe Ringeissen},
  year = {1994},
  tags = {constraints,  algebra},
  researchr = {https://researchr.org/publication/KirchnerR94},
  cites = {0},
  citedby = {0},
  pages = {617-631},
  booktitle = {ICLP},
}