Projecting CLPR constraints

This publication has 9 references indexed in Scilit:

• On Fourier's algorithm for linear arithmetic constraints
  Journal of Automated Reasoning, 1992
• Practical issues on the projection of polyhedral sets
  Annals of Mathematics and Artificial Intelligence, 1992
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992
• Constraint logic programming
  1987
• Quantifier Elimination for Real Closed Fields: A Guide to the Literature
  1982
• Linear unification
  Journal of Computer and System Sciences, 1978
• On fourier’s analysis of linear inequality systems
  1974
• PROJECTIONS OF CONVEX POLYHEDRAL SETS
  1967
• A Decision Method for Elementary Algebra and Geometry
  1951