7 search results - page 1 / 2 » An Implementation of the Barvinok--Woods Integer Projection ... |
ITSL
2008
13 years 6 months ago
2008
We describe the first implementation of the Barvinok
WEA
2010
Springer
13 years 11 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
CADE
2012
Springer
11 years 7 months ago
2012
Springer
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
DISOPT
2008
13 years 4 months ago
2008
This paper is motivated by the fact that mixed integer nonlinear programming is an important and difficult area for which there is a need for developing new methods and software f...
CORR
2006
Springer
13 years 4 months ago
2006
Springer
We propose a new algorithm to solve sparse linear systems of equations over the integers. This algorithm is based on a p-adic lifting technique combined with the use of block matr...