The following pages link to Automated Reasoning (Q5307072):
Displaying 10 items.
- Robust load planning of trains in intermodal transportation (Q480756) (← links)
- Integer programming models for the \(q\)-mode problem (Q881520) (← links)
- Solving multistage quantified linear optimization problems with the alpha-beta nested Benders decomposition (Q904957) (← links)
- Quantified integer programs with polyhedral uncertainty set (Q1989585) (← links)
- Towards an algorithmic synthesis of thermofluid systems (Q2139127) (← links)
- On quantified linear implications (Q2254606) (← links)
- On a decision procedure for quantified linear programs (Q2462634) (← links)
- Multistage robust discrete optimization via quantified integer programming (Q2669532) (← links)
- Polynomial time certifying algorithms for the planar quantified integer programming problem (Q2863168) (← links)
- An analysis of six greedy selection rules on a class of zero-one integer programming models (Q3478264) (← links)
