Solving Sparse Linear Constraints

DOI10.1007/11814771_39MaRDI QIDQ3613428zbMATH OpenOpenAlexFDO

Authors Shuvendu K. Lahiri, Madanlal Musuvathi

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• Equality detection for linear arithmetic constraints
• Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
• New techniques for linear arithmetic: cubes and equalities
• Solving linear constraints over real and rational fields

Cited in

(3)

• Speeding up the constraint-based method in difference logic
• Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
• New techniques for linear arithmetic: cubes and equalities

This page was built for publication: Solving Sparse Linear Constraints

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