Quantifier elimination for linear modular constraints

DOI10.1007/978-3-662-44199-2_46MaRDI QIDQ2879138zbMATH OpenOpenAlexFDO

Authors Ajith K. John, Supratik Chakraborty

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

linear modular arithmeticquantifier elimination

Mathematics Subject Classification ID

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

Recommendations

• A layered algorithm for quantifier elimination from linear modular constraints
• Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors
• A Quantifier Elimination Algorithm for Linear Real Arithmetic
• Linear quantifier elimination as an abstract decision procedure
• Linear quantifier elimination

Cited in

(6)

• A layered algorithm for quantifier elimination from linear modular constraints
• Weak Integer Quantifier Elimination Beyond the Linear Case
• scientific article; zbMATH DE number 5526522 (Why is no real title available?)
• Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors
• Advances in Databases and Information Systems
• Fast approximations of quantifier elimination

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)