Constraint Integer Programming

Achterberg, T. (2007). Constraint Integer Programming.

Type

Thesis

Intellectual base

Grey literature

Year

2007

Link

https://depositonce.tu-berlin.de/handle/11303/1931

Cited from

operations_research

Cited by

2 citations across 2 artifacts.

Each citation links to the sentence it supports in the citing article.

Primes

• Branch and Bound
  • The tooling ecosystem includes:

    This sourceTechnische Universität Berlin. SUPPORTS D42-050: origin of SCIP as a constraint-integer-programming framework integrating CP-style propagation with MIP branch-and-cut.

    Supported in partVerified against the publisher's abstract

    Thesis abstract establishes Constraint Integer Programming as an integration of CP and MIP modelling/solving techniques, backing only the Achterberg/SCIP clause of the tooling list, not the list itself.

    “Diese Arbeit stellt einen integrierten Ansatz aus "Constraint Programming" (CP) und Gemischt-Ganzzahliger Programmierung ("Mixed Integer Programming", MIP) vor, den wir "Constraint Integer Programming" (CIP) nennen. Sowohl Modellierungs- als auch Lösungstechniken beider Felder fließen in den neuen integrierten Ansatz ein, um die unterschiedlichen Stärken der beiden Gebiete zu kombinieren.”

    Read by an automated reader; not a human review. How support was checked

• Integer Linear Programming (ILP)
  • Open-source alternatives include SCIP (as the leading performance option, originating in Achterberg's 2007 dissertation work)

    This sourceDoctoral dissertation, Technische Universität Berlin. Origin of SCIP as a constraint-integer-programming framework; introduces the integration of CP-style propagation with MIP branch-and-cut that underlies the leading open-source solver.

Verification

Does it exist? Not checked yet. This entry carries no identifier to resolve. It was extracted from the citation as written in the article, normalized, and deduplicated against the rest of the registry.

Does it back the claim? Read against the text for 1 of 2 citations: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:2167c5b31086 · see in the full table