Amanote Research

Amanote Research

    RegisterSign In

On Termination of Integer Linear Loops

doi 10.1137/1.9781611973730.65
Full Text
Open PDF
Abstract

Available in full text

Date

December 22, 2014

Authors
Joël OuaknineJoão Sousa PintoJames Worrell
Publisher

Society for Industrial and Applied Mathematics


Related search

Analyzing Infeasible Mixed-Integer and Integer Linear Programs

INFORMS Journal on Computing
Management ScienceComputer Science ApplicationsInformation SystemsOperations ResearchSoftware
1999English

Column Generation in Integer Linear Programming

2014English

Process Discovery Using Integer Linear Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

A Research on Particle Board Factory by Utilization of Integer Linear Programming

Kastamonu Üniversitesi Orman Fakültesi Dergisi
2017English

Polyhedral Approaches to Mixed Integer Linear Programming

2009English

Grammatical Role Labeling With Integer Linear Programming

2006English

Constant Coefficient Linear Difference Equations on the Rational Cones of the Integer Lattice

Siberian Mathematical Journal
Mathematics
2016English

Designing AC Power Grids Using Integer Linear Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Confluence of Non-Left-Linear TRSs via Relative Termination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy