Termination of Integer Linear Programs

DOI10.1007/11817963_34MaRDI QIDQ5756742zbMATH OpenOpenAlexFDO

Authors Mark Braverman

Publication date 5 September 2007

Published in Computer Aided Verification (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11817963_34

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Computer Aided Verification
• On termination of integer linear loops
• Termination of linear programs with nonlinear constraints
• Termination analysis of linear loop programs
• A recursive decision method for termination of linear programs

Cited in

(41)

• Generating exact nonlinear ranking functions by symbolic-numeric hybrid method
• Robust positivity problems for linear recurrence sequences: the frontiers of decidability for explicitly given neighbourhoods
• Automatic complexity analysis of integer programs via triangular weakly non-linear loops
• Reflections on termination of linear loops
• On simulating Turing machines with matrix semigroups with integrality tests
• On robustness for the Skolem, positivity and ultimate positivity problems
• Algebraic model checking for discrete linear dynamical systems
• Termination of single-path polynomial loop programs
• Termination of triangular Integer loops is decidable
• Discovering non-terminating inputs for multi-path polynomial programs
• Closed-form upper bounds in static cost analysis
• Termination of triangular polynomial loops
• Witness to non-termination of linear programs
• scientific article; zbMATH DE number 7471667 (Why is no real title available?)
• Ranking functions for linear-constraint loops
• On termination of integer linear loops
• A second-order formulation of non-termination
• A recursive decision method for termination of linear programs
• Polynomial loops: beyond termination
• What else is undecidable about loops?
• On the termination of integer loops
• scientific article; zbMATH DE number 7378586 (Why is no real title available?)
• scientific article; zbMATH DE number 7559471 (Why is no real title available?)
• Linear dynamical systems with weight functions
• A note on finite termination of iterative algorithms in mathematical programming
• Computing expected runtimes for constant probability programs
• Targeting completeness: automated complexity analysis of integer programs
• Complexity of Restricted Variants of Skolem and Related Problems
• Persistence for a class of order-one autoregressive processes and Mallows-Riordan polynomials
• The 2-dimensional constraint loop problem is decidable
• Recent advances in program verification through computer algebra
• Symbolic decision procedure for termination of linear programs
• Termination analysis of linear loop programs
• Termination of linear programs with nonlinear constraints
• Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
• Computer Aided Verification
• Model checking linear dynamical systems under floating-point rounding
• A complete and terminating approach to linear integer solving
• What's decidable about discrete linear dynamical systems?
• scientific article; zbMATH DE number 7561611 (Why is no real title available?)
• Termination of linear loops under commutative updates

This page was built for publication: Termination of Integer Linear Programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5756742)