The following pages link to Omar Inverso (Q515663):
Displaying 5 items.
- On the path-width of integer linear programming (Q515665) (← links)
- (Q4995360) (← links)
- Verifying Properties of Systems Relying on Attribute-Based Communication (Q5047043) (← links)
- Probabilistic Analysis of Binary Sessions (Q5089279) (← links)
- Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems (Q6431297) (← links)
