Solving Sparse Linear Constraints

DOI10.1007/11814771_39zbMATH Open1222.68368OpenAlexW2141447199MaRDI QIDQ3613428FDOQ3613428

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

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

Mathematics Subject Classification ID

Cited In (1)

• Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds

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)