The following pages link to Logic and integer programming (Q999171):
Displaying 23 items.
- Compact normal forms in propositional logic and integer programming formulations (Q910335) (← links)
- Constructing integer programming models by the predicate calculus (Q918417) (← links)
- Modelling either-or relations in integer programming (Q1026568) (← links)
- Logic applied to integer programming and integer programming applied to logic (Q1130078) (← links)
- Integer programs for logic constraint satisfaction (Q1193860) (← links)
- Logic-based decision support. Mixed integer model formulation (Q1210858) (← links)
- Integer optimization by local search. A domain-independent approach (Q1301506) (← links)
- A linear and discrete programming framework for representing qualitative knowledge (Q1309850) (← links)
- Logic, modeling, and programming (Q1368376) (← links)
- Studying the effective brain connectivity using multiregression dynamic models (Q1705546) (← links)
- Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy (Q2116889) (← links)
- A mixed-integer linear programming formulation for the modular layout of three-dimensional connected systems (Q2146728) (← links)
- Circular economy implementation in waste management network design problem: a case study (Q2228280) (← links)
- Probabilistic satisfiability and coherence checking through integer programming (Q2344365) (← links)
- A search of maximum generalized resolution quaternary-code designs via integer linear programming (Q2631366) (← links)
- Mixed integer linear programming formulation techniques (Q2808240) (← links)
- The problem with integer programming (Q3019512) (← links)
- Some notes on logical expression in the 0-1 integer programming model (Q3196003) (← links)
- (Q3827553) (← links)
- (Q4228441) (← links)
- A practical three‐phase ILP approach for solving the examination timetabling problem (Q6067898) (← links)
- Optimization of sparsity-constrained neural networks as a mixed integer linear program (Q6145048) (← links)
- Network flow problem heuristic reduction using machine learning (Q6547704) (← links)
