Pages that link to "Item:Q1317155"
From MaRDI portal
The following pages link to Tools for reformulating logical forms into zero-one mixed integer programs (Q1317155):
Displayed 10 items.
- A combined CLP-MILP approach for scheduling commodities in a pipeline (Q633547) (← links)
- Modelling either-or relations in integer programming (Q1026568) (← links)
- Logic applied to integer programming and integer programming applied to logic (Q1130078) (← links)
- A branch and bound algorithm for mixed zero-one multiple objective linear programming (Q1296117) (← links)
- Formulating logical implications in combinatorial optimisation (Q1598766) (← links)
- Construction of rule-based assignment models (Q1600909) (← links)
- New constructs for the description of combinatorial optimization problems in algebraic modeling languages (Q1918922) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- Um modelo híbrido (CLP-MILP) para scheduling de operações em polidutos (Q4905627) (← links)
- A mathematical programming model for multiple integrated MRP planning stages (Q5437802) (← links)