Pith. sign in

REVIEW 1 cited by

Learning to Remove Cuts in Integer Linear Programming

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2406.18781 v1 pith:LLQF2R4S submitted 2024-06-26 math.OC cs.DMcs.LG

Learning to Remove Cuts in Integer Linear Programming

classification math.OC cs.DMcs.LG
keywords cutsintegerlinearmethodsapproachcuttingfundamentalintroduced
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Cutting plane methods are a fundamental approach for solving integer linear programs (ILPs). In each iteration of such methods, additional linear constraints (cuts) are introduced to the constraint set with the aim of excluding the previous fractional optimal solution while not affecting the optimal integer solution. In this work, we explore a novel approach within cutting plane methods: instead of only adding new cuts, we also consider the removal of previous cuts introduced at any of the preceding iterations of the method under a learnable parametric criteria. We demonstrate that in fundamental combinatorial optimization settings such cut removal policies can lead to significant improvements over both human-based and machine learning-guided cut addition policies even when implemented with simple models.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. MILP-Evo: Closed-Loop Fully Automatic Design of MILP Solvers

    cs.AI 2026-05 conditional novelty 6.0

    LLM-guided evolutionary search over executable SCIP callbacks can discover competitive joint cut-selection and branching policies for MILP solving.