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 16 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)
- Logical processing for integer programming (Q817209) (← links)
- Compact normal forms in propositional logic and integer programming formulations (Q910335) (← links)
- Constructing integer programming models by the predicate calculus (Q918417) (← links)
- Modeling and integer programming techniques applied to propositional calculus (Q918954) (← links)
- Integer programs for logic constraint satisfaction (Q1193860) (← links)
- Logic-based decision support. Mixed integer model formulation (Q1210858) (← 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)
- Some notes on logical expression in the 0-1 integer programming model (Q3196003) (← links)
- (Q3827553) (← links)
- An artificial neural network satisfiability tester (Q4329689) (← links)
- Um modelo híbrido (CLP-MILP) para scheduling de operações em polidutos (Q4905627) (← links)