A canonical form for generalized linear constraints

Publisher Website

31 January 1992

journal article
Published by Elsevier in Journal of Symbolic Computation

Vol. 13 (1) , 1-24
https://doi.org/10.1016/0747-7171(92)90002-l

Abstract

No abstract available

Keywords

CANONICAL FORM

This publication has 5 references indexed in Scilit:

Redundancy in Mathematical Programming
Published by Springer Nature ,1983
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems, 1981
Linear programming is log-space hard for P
Information Processing Letters, 1979
On the SUP-INF Method for Proving Presburger Formulas
Journal of the ACM, 1977
Equivalent Integer Programs and Canonical Problems
Management Science, 1971