The following pages link to Linear quantifier elimination (Q707743):
Displaying 18 items.
- SMT-based model checking for recursive programs (Q518396) (← links)
- An incremental algorithm for DLO quantifier elimination via constraint propagation (Q814643) (← links)
- Weak quantifier elimination for the full linear theory of the integers (Q945000) (← links)
- Proof synthesis and reflection for linear arithmetic (Q945055) (← links)
- Dines-Fourier-Motzkin quantifier elimination and an application of corresponding transfer principles over ordered fields (Q1184352) (← links)
- Eliminating disjunctions of leads-to properties (Q1318740) (← links)
- Head linear reduction and pure proof net extraction (Q1342250) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Applying Linear Quantifier Elimination (Q3140556) (← links)
- (Q3384907) (← links)
- (Q4014127) (← links)
- A Roadmap to Decidability (Q5258981) (← links)
- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors (Q5326316) (← links)
- Advances in Databases and Information Systems (Q5464722) (← links)
- A Quantifier Elimination Algorithm for Linear Real Arithmetic (Q5505558) (← links)
- (Q6060676) (← links)
- Verified Quadratic Virtual Substitution for Real Arithmetic (Q6488467) (← links)