The following pages link to D. Desovski (Q2456613):
Displaying 5 items.
- Out of order quantifier elimination for standard quantified linear programs (Q2456614) (← links)
- On contrasting vertex contraction with relaxation-based approaches for negative cost cycle detection (Q2489173) (← links)
- An empirical analysis of algorithms for partially Clairvoyant scheduling (Q5421611) (← links)
- Computational Science – ICCS 2005 (Q5709515) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897959) (← links)
