Termination of integer linear programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4144 LNCS, Issue , 2006, Pages 372-385

  Braverman, Mark ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; EIGENVALUES AND EIGENFUNCTIONS; INTEGER PROGRAMMING; LINEAR SYSTEMS; MATRIX ALGEBRA;

HOMOGENEOUS INTEGER PROGRAMS; INTEGER LINEAR PROGRAMS; LINEAR LOOPS; TERMINATION;

LINEAR PROGRAMMING;

EID: 33749837789     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817963_34     Document Type: Conference Paper

References (13)

1. [BPR03] S. Basu, R. Pollack, M.F. Roy, Algorithms in Real Algebraic Geometry, Springer, 2003.
2. [Bhu93] M. Bhubaneswar, Algorithmic Algebra, Springer-Verlag, 1993.
3. +01] V.D. Blondel, O. Bournez, P. Koiran, C.H. Papadimitriou, J.N. Tsitsiklis, Deciding stability and mortality of piecewise affine dynamical system. Theoretical Computer Science, 255 (1-2), pp. 687696, 2001.
4. [BMP05a] A.R. Bradley, Z. Manna, H.B. Simpa, Linear ranking with reachability, in CAV 2005, pp. 491-504, 2005.
5. [BMP05b] A.R. Bradley, Z. Manna, H.B. Simpa, Termination analysis of integer linear loops, in CONCUR 2005, pp. 488-502, 2005.
6. [CSS03] M.A. Colón, S. Sankaranarayanan, H.B. Simpa, Linear invariant generation using non-linear constraint solving, in CAV 2003, LNCS 2725, pp. 420-432, 2003.
7. [HK71] K. Hoffman and R. Kunze, Linear Algebra, Prentice-Hall, 2nd ed., 1971.
8. [Loos83] R. Loos, Computing in Algebraic Extensions, in B. Buchberger, G.E. Collins et al. eds., Computer Algebra: Symbolic and Algebraic Computation, 2nd ed., Springer-Verlag, pp. 173-188, 1983.
9. [Mat93] Y. Matiyasevich, Hilbert's Tenth Problem, The MIT Press, Cambridge, London, 1993.
10. [PR04] A. Podelski, A. Rybalchenko, A complete method for synthesis of linear ranking functions, in B. Steffen and G. Levi (Eds.): VMCAI 2004, LNCS 2937, pp. 239-251, 2004.
11. [Tar51] A. Tarski, A Decision Method for Elementary Algebra and Geometry, 2nd ed. Berkeley, CA: University of California Press, 1951.
12. [Tiw04] A. Tiwari, Termination of linear programs, in R. Alur and D.A. Peled (Eds.): CAV 2004, LNCS 3114, pp. 70-82, 2004.
13. [Yap00] C.K. Yap, Fundamental Problems of Algorithmic Algebra, Oxford University Press, 2000.