Pages that link to "Item:Q1226035"
From MaRDI portal
The following pages link to Fourier-Motzkin elimination extension to integer programming problems (Q1226035):
Displaying 15 items.
- Projecting systems of linear inequalities with binary variables (Q646699) (← links)
- Optimal length resolution refutations of difference constraint systems (Q846163) (← links)
- Logic applied to integer programming and integer programming applied to logic (Q1130078) (← links)
- Generalized intersection patterns and two-symbol balanced arrays (Q1153154) (← links)
- A characterisation of all feasible solutions to an integer program (Q1171507) (← links)
- Decomposing finitely generated integral monoids by elimination (Q1175279) (← links)
- Integer programming as projection (Q1751196) (← links)
- Vector-valued Markov decision processes and the systems of linear inequalities (Q1890731) (← links)
- Improved algorithms for optimal length resolution refutation in difference constraint systems (Q1941901) (← links)
- Mixed logical-linear programming (Q1961464) (← links)
- New tractable classes for default reasoning from conditional knowledge bases (Q2502153) (← links)
- Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach (Q2665691) (← links)
- A Repeated Route-then-Schedule Approach to Coordinated Vehicle Platooning: Algorithms, Valid Inequalities and Computation (Q5106379) (← links)
- Mixed-Integer Linear Representability, Disjunctions, and Chvátal Functions—Modeling Implications (Q5108241) (← links)
- Clausal proofs for pseudo-Boolean reasoning (Q6535573) (← links)