Pages that link to "Item:Q4913868"
From MaRDI portal
The following pages link to Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants (Q4913868):
Displaying 4 items.
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs (Q882517) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)
- Speeding up the Constraint-Based Method in Difference Logic (Q2818021) (← links)
- Certified Reasoning with Infinity (Q5206958) (← links)