Pages that link to "Item:Q5747770"
From MaRDI portal
The following pages link to Linear Quantifier Elimination as an Abstract Decision Procedure (Q5747770):
Displayed 8 items.
- An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic (Q478379) (← links)
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- Eliminating message counters in synchronous threshold automata (Q2234072) (← links)
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- Refutation-based synthesis in SMT (Q2280222) (← links)
- A layered algorithm for quantifier elimination from linear modular constraints (Q2363817) (← links)
- A Survey of Satisfiability Modulo Theory (Q2830018) (← links)
- Virtual Substitution for SMT-Solving (Q3088298) (← links)