Pages that link to "Item:Q5505558"
From MaRDI portal
The following pages link to A Quantifier Elimination Algorithm for Linear Real Arithmetic (Q5505558):
Displaying 29 items.
- Estimation of the dimensions of some Kisin varieties (Q507459) (← links)
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Linear quantifier elimination (Q707743) (← links)
- An incremental algorithm for DLO quantifier elimination via constraint propagation (Q814643) (← links)
- Causality-based game solving (Q832242) (← links)
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Weak quantifier elimination for the full linear theory of the integers (Q945000) (← links)
- Proof synthesis and reflection for linear arithmetic (Q945055) (← links)
- Real quantifier elimination is doubly exponential (Q1114669) (← links)
- Reasoning over networks by symbolic methods (Q1304767) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602) (← links)
- A layered algorithm for quantifier elimination from linear modular constraints (Q2363817) (← links)
- Solving linear constraints over real and rational fields (Q2452760) (← links)
- Out of order quantifier elimination for standard quantified linear programs (Q2456614) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- Sum of squares certificates for containment of \(\mathcal{H}\)-polytopes in \(\mathcal{V}\)-polytopes (Q2804545) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Applying Linear Quantifier Elimination (Q3140556) (← links)
- No Need Knowing Numerous Neighbours (Q3449630) (← links)
- Verifying Mixed Real-Integer Quantifier Elimination (Q3613432) (← links)
- (Q4496280) (← links)
- Formula Simplification for Real Quantifier Elimination Using Geometric Invariance (Q5119942) (← links)
- Verification: Theory and Practice (Q5305651) (← links)
- Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors (Q5326316) (← links)
- Linear Quantifier Elimination as an Abstract Decision Procedure (Q5747770) (← links)
- Verification Modulo theories (Q6056642) (← links)
