Variable Elimination for Disequations in Generalized Linear Constraint Systems

DOI10.1093/COMJNL/36.5.473MaRDI QIDQ3140558zbMATH OpenOpenAlexFDO

Authors J.-L. Imbert

Publication date 19 October 1994

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/36.5.473

zbMATH Keywords

Fourier elimination methodgeneralized linear constraint systemsinequation systemsparallelismvariable elimination

Mathematics Subject Classification ID

Quantifier elimination, model completeness, and related topics (03C10)

Recommendations

• Variable Elimination in Linear Constraints
• A canonical form for generalized linear constraints
• scientific article; zbMATH DE number 35420
• Automated Reasoning
• Incremental constraint deletion in systems of linear constraints

Cited in

(5)

• Solving linear constraints over real and rational fields
• Variable Elimination in Linear Constraints
• Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning
• Projecting systems of linear inequalities with binary variables
• Incremental constraint deletion in systems of linear constraints

This page was built for publication: Variable Elimination for Disequations in Generalized Linear Constraint Systems

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