Quantifier Elimination for Linear Modular Constraints

DOI10.1007/978-3-662-44199-2_46zbMATH Open1437.65252OpenAlexW2186879317MaRDI QIDQ2879138

Supratik Chakraborty, Ajith K. John

Publication date: 8 September 2014

Published in: Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-44199-2_46

zbMATH Keywords

quantifier eliminationlinear modular arithmetic

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Quantifier elimination, model completeness, and related topics (03C10) Numerical algorithms for computer arithmetic, etc. (65Y04)

Related Items (2)

Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors ⋮ Advances in Databases and Information Systems

This page was built for publication: Quantifier Elimination for Linear Modular Constraints

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