Pages that link to "Item:Q2462634"
From MaRDI portal
The following pages link to On a decision procedure for quantified linear programs (Q2462634):
Displaying 6 items.
- On the complexity of quantified linear systems (Q391791) (← links)
- A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
- Analyzing restricted fragments of the theory of linear arithmetic (Q513354) (← links)
- Solving multistage quantified linear optimization problems with the alpha-beta nested Benders decomposition (Q904957) (← links)
- On quantified linear implications (Q2254606) (← links)
- Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty (Q2321284) (← links)
