6 search results - page 1 / 2 » Integer Programming with 2-Variable Equations and 1-Variable... |
77
Voted
COLOGNETWENTE
2009
14 years 11 months ago
2009
We present an efficient algorithm to find an optimal integer solution of a given system of 2-variable equalities and 1-variable inequalities with respect to a given linear objectiv...
82
Voted
MP
2011
14 years 5 months ago
2011
Integer programs defined by two equations with two free integer variables and nonnegative continuous variables have three types of nontrivial facets: split, triangle or quadrilat...
93
Voted
DISOPT
2011
14 years 1 months ago
2011
In recent years there has been growing interest in generating valid inequalities for mixedinteger programs using sets with 2 or more constraints. In particular, Andersen et al. (2...
86
Voted
CADE
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
97
Voted
ORL
2008
14 years 10 months ago
2008
A central result in the theory of integer optimization states that a system of linear diophantine equations Ax = b has no integral solution if and only if there exists a vector in...