The following pages link to Compact Difference Bound Matrices (Q5056006):
Displaying 5 items.
- The octagon abstract domain (Q853733) (← links)
- Sparsity preserving algorithms for octagons (Q1650959) (← links)
- Exploiting sparsity in difference-bound matrices (Q1664386) (← links)
- Analyzing fractional Horn constraint systems (Q2205946) (← links)
- Incrementally closing octagons (Q2335904) (← links)