On Fourier's algorithm for linear arithmetic constraints

DOI10.1007/BF00245296MaRDI QIDQ688575zbMATH OpenOpenAlexFDO

Authors Jean-Louis Lassez, Michael J. Maher

Publication date 17 February 1994

Published in Journal of Automated Reasoning (Search for Journal in Brave)

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

zbMATH Keywords

affine hull of the polyhedral setFourier's algorithmimplicit equality

Mathematics Subject Classification ID

Linear programming (90C05)

Recommendations

• Fourier algorithm revisited
• Fourier's Method of Linear Programming and Its Dual
• Variable Elimination in Linear Constraints
• Solution of parametrized linear inequalities by Fourier elimination and its applications
• scientific article; zbMATH DE number 1182798

Cites work

• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• A canonical form for generalized linear constraints
• Fourier's Method of Linear Programming and Its Dual
• Fourier-Motzkin elimination and its dual
• Minimal representation of convex polyhedral sets

Cited in

(16)

• Fourier algorithm revisited
• From LP to LP: Programming with constraints
• Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs
• Learning strategies for mechanised building of decision procedures
• Practical issues on the projection of polyhedral sets
• A linear programming primer: from Fourier to Karmarkar
• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• Data structures with arithmetic constraints: A non-disjoint combination
• Projecting CLP(\({\mathcal R}\)) constraints
• Optimal length resolution refutations of difference constraint systems
• Programming in metric temporal logic
• Variable Elimination in Linear Constraints
• Incorporating decision procedures in implicit induction.
• Fourier's Method of Linear Programming and Its Dual
• Constraint contextual rewriting.
• On a decision procedure for quantified linear programs

This page was built for publication: On Fourier's algorithm for linear arithmetic constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688575)