Pages that link to "Item:Q3922169"
From MaRDI portal
The following pages link to On the complexity of integer programming (Q3922169):
Displayed 23 items.
- The complexity of the satisfiability problem for Krom formulas (Q800915) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Approximation algorithms for Hamming clustering problems (Q876719) (← links)
- An appraisal of computational complexity for operations researchers (Q1173532) (← links)
- An expanding-core algorithm for the exact \(0-1\) knapsack problem (Q1390271) (← links)
- A genetic algorithm of determining cycle time for printed circuit board assembly lines (Q1592746) (← links)
- Length-bounded disjoint paths in planar graphs (Q1613380) (← links)
- \(\mathbb N\)-solutions to linear systems over \(\mathbb Z\) (Q1827486) (← links)
- Decidable integration graphs. (Q1854273) (← links)
- Minimal resolutions of lattice ideals and integer linear programming (Q1884028) (← links)
- Polynomially solvable cases of the constant rank unconstrained quadratic 0-1 programming problem (Q2369979) (← links)
- On the complexity of achieving proportional representation (Q2426957) (← links)
- The complexity of finite model reasoning in description logics (Q2486582) (← links)
- Complexity of the two-variable fragment with counting quantifiers (Q2567347) (← links)
- Complexity of modal logics with Presburger constraints (Q2638188) (← links)
- Linear Arithmetic with Stars (Q3512499) (← links)
- An Analysis of Slow Convergence in Interval Propagation (Q3523087) (← links)
- Preprocessing composite cutting procedure: an approach to the integer model (Q3604028) (← links)
- Coalgebraic Hybrid Logic (Q3617726) (← links)
- A Sharp Bound for Solutions of Linear Diophantine Equations (Q3825192) (← links)
- Machines Over the Reals and Non-Uniformity (Q4336697) (← links)
- Decision Procedures for Multisets with Cardinality Constraints (Q5452719) (← links)
- On the complexity of recognizing the Hilbert basis of a linear Diophantine system (Q5958323) (← links)