A canonical form for generalized linear constraints
- 31 January 1992
- journal article
- Published by Elsevier BV in Journal of Symbolic Computation
- Vol. 13 (1), 1-24
- https://doi.org/10.1016/0747-7171(92)90002-l
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Redundancy in Mathematical ProgrammingPublished by Springer Science and Business Media LLC ,1983
- The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation LaboratoryACM Transactions on Programming Languages and Systems, 1981
- Linear programming is log-space hard for PInformation Processing Letters, 1979
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- Equivalent Integer Programs and Canonical ProblemsManagement Science, 1971