On Fourier's algorithm for linear arithmetic constraints

Theory of Linear and Integer Programming

Adam N. Letchford, Alexander Schrijver · Journal of the Operational Research Society · 2000 · 5.6K citations

Supernode partitioning

François Irigoin, Rémi Triolet · 1988 · 556 citations

Loop Interchange, Engineering, Program Analysis +15

The CLP( ℛ ) language and system

Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey et al. · ACM Transactions on Programming Languages and Systems · 1992 · 524 citations · Full text

Engineering, Software Engineering, Semantics +23

Fourier's Method of Linear Programming and its Dual

Hugh Williams · American Mathematical Monthly · 1986 · 84 citations

Numerical Analysis, Mathematical Programming, Mathematics Education +10

A canonical form for generalized linear constraints

Jean-Louis Lassez, Ken McAloon · Journal of Symbolic Computation · 1992 · 62 citations

Generalized Linear Constraints, Constrained Optimization, Linear Programming +1