Pages that link to "Item:Q1130078"
From MaRDI portal
The following pages link to Logic applied to integer programming and integer programming applied to logic (Q1130078):
Displaying 8 items.
- On infinite horizon switched LQR problems with state and control constraints (Q450631) (← links)
- A combined CLP-MILP approach for scheduling commodities in a pipeline (Q633547) (← links)
- Construction of rule-based assignment models (Q1600909) (← links)
- Mixed logical-linear programming (Q1961464) (← links)
- New tractable classes for default reasoning from conditional knowledge bases (Q2502153) (← links)
- Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
- An artificial neural network satisfiability tester (Q4329689) (← links)
- Um modelo híbrido (CLP-MILP) para scheduling de operações em polidutos (Q4905627) (← links)
