Pages that link to "Item:Q2307624"
From MaRDI portal
The following pages link to A complete and terminating approach to linear integer solving (Q2307624):
Displaying 6 items.
- Cuts from proofs: a complete and practical technique for solving linear inequalities over integers (Q453505) (← links)
- A Benders decomposition approach to deciding modular linear integer arithmetic (Q1680266) (← links)
- Integer solution for linear complementarity problem (Q2757540) (← links)
- An approach to solving a Boolean linear equation with integer positive coefficients (Q4303904) (← links)
- (Q5087785) (← links)
- IntSat: integer linear programming by conflict-driven constraint learning (Q6585824) (← links)