Heterogeneous constraint solving

This publication has 11 references indexed in Scilit:

• Solving Polynomial Systems Using a Branch and Prune Approach
  SIAM Journal on Numerical Analysis, 1997
• Combining local consistency, symbolic rewriting and interval methods
  Published by Springer Nature ,1996
• A DISTRIBUTED COOPERATING CONSTRAINTS SOLVING SYSTEM
  International Journal on Artificial Intelligence Tools, 1995
• Interval constraint logic programming
  Published by Springer Nature ,1995
• Combining Symbolic Constraint Solvers on Algebraic Domains
  Journal of Symbolic Computation, 1994
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992
• The semantic foundations of concurrent constraint programming
  Published by Association for Computing Machinery (ACM) ,1991
• An introduction to Prolog III
  Communications of the ACM, 1990
• Consistency in networks of relations
  Artificial Intelligence, 1977
• Networks of constraints: Fundamental properties and applications to picture processing
  Information Sciences, 1974