scientific article; zbMATH DE number 35420

MaRDI QIDQ3989943zbMATH OpenFDO

Authors Tien Huynh, Jean-Louis Lassez, Leo Joskowicz, Catherine Lassez

Publication date 28 June 1992

zbMATH Keywords

constraints handlinglinear arithmetic constraintsparametric queriesvariable elimination

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 4213487
• scientific article; zbMATH DE number 1182798
• Fourier algorithm revisited
• Variable Elimination in Linear Constraints
• A canonical form for generalized linear constraints

Cited in

(9)

• Standard forms for rational linear arithmetic in constraint logic programming.
• Consistency, redundancy, and implied equalities in linear systems
• Solving linear constraints over real and rational fields
• Variable Elimination in Linear Constraints
• Variable Elimination for Disequations in Generalized Linear Constraint Systems
• scientific article; zbMATH DE number 4213487 (Why is no real title available?)
• Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs
• scientific article; zbMATH DE number 1182798 (Why is no real title available?)
• Static Analysis

This page was built for publication:

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