Sciweavers

Share
CADE
2011
Springer

Cutting to the Chase Solving Linear Integer Arithmetic

9 years 2 months ago
Cutting to the Chase Solving Linear Integer Arithmetic
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut procedure to guide the search away from the conflicting states.
Dejan Jovanovic, Leonardo Mendonça de Moura
Added 13 Dec 2011
Updated 13 Dec 2011
Type Journal
Year 2011
Where CADE
Authors Dejan Jovanovic, Leonardo Mendonça de Moura
Comments (0)
books