732 search results - page 16 / 147 » Termination of Integer Linear Programs |
CADE
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...
DISOPT
2007
13 years 7 months ago
2007
This paper presents techniques for handling symmetries in integer linear programs where variables can take integer values, extending previous work dealing exclusively with binary v...
MP
2011
13 years 2 months ago
2011
Lifting is a procedure for deriving valid inequalities for mixed-integer sets from valid inequalities for suitable restrictions of those sets. Lifting has been shown to be very eļ¬...
RTA
2010
Springer
13 years 11 months ago
2010
Springer
For the whole class of linear term rewriting systems and for each integer k, we deļ¬ne k-bounded rewriting as a restriction of the usual notion of rewriting. We show that the k-bo...
OL
2010
13 years 6 months ago
2010
Abstract. We consider the system of m linear equations in n integer variables Ax = d and give sufļ¬cient conditions for the uniqueness of its integer solution x ā {ā1,1}n by r...