Projecting CLP(\({\mathcal R}\)) constraints

DOI10.1007/BF03037187zbMath0780.68013OpenAlexW1540737951MaRDI QIDQ688823

Peter J. Stuckey, Michael J. Maher, Joxan Jaffar, Roland H. C. Yap

Publication date: 1993

Published in: New Generation Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03037187

zbMATH Keywords

projectionlinear arithmeticconstraint logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Conflict Resolution ⋮ On polyhedral projection and parametric programming

Cites Work

• Unnamed Item
• Unnamed Item
• On Fourier's algorithm for linear arithmetic constraints
• Linear unification
• Practical issues on the projection of polyhedral sets
• Meta-programming in CLP(R)

This page was built for publication: Projecting CLP(\({\mathcal R}\)) constraints