Projecting CLPR constraints
- 1 September 1993
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 11 (3-4) , 449-469
- https://doi.org/10.1007/bf03037187
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- On Fourier's algorithm for linear arithmetic constraintsJournal of Automated Reasoning, 1992
- Practical issues on the projection of polyhedral setsAnnals of Mathematics and Artificial Intelligence, 1992
- The CLP( ℛ ) language and systemACM Transactions on Programming Languages and Systems, 1992
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Quantifier Elimination for Real Closed Fields: A Guide to the LiteraturePublished by Springer Nature ,1982
- Linear unificationJournal of Computer and System Sciences, 1978
- On fourier’s analysis of linear inequality systemsPublished by Springer Nature ,1974
- PROJECTIONS OF CONVEX POLYHEDRAL SETSPublished by Defense Technical Information Center (DTIC) ,1967
- A Decision Method for Elementary Algebra and GeometryPublished by University of California Press ,1951