Pages that link to "Item:Q2342596"
From MaRDI portal
The following pages link to The octagon abstract domain for continuous constraints (Q2342596):
Displaying 4 items.
- The octagon abstract domain (Q853733) (← links)
- Incrementally closing octagons (Q2335904) (← links)
- Simple and Efficient Algorithms for Octagons (Q2789052) (← links)
- Inner and outer characterization of the projection of polynomial equations using symmetries, quotients and intervals (Q6116524) (← links)