Saved in:
| Main Authors: | Bonami, Pierre, Dash, Sanjeeb, Derkach, Anton, Lodi, Andrea |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2511.22838 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Enforcing TSP-Optimality in Fair Vehicle Routing by Cutting Planes
by: van Rossum, Bart, et al.
Published: (2026)
by: van Rossum, Bart, et al.
Published: (2026)
Sparse Cuts for the Positive Semidefinite Cone
by: Günlük, Oktay, et al.
Published: (2026)
by: Günlük, Oktay, et al.
Published: (2026)
Solving Max-Cut to Global Optimality via Feasibility-Preserving Graph Neural Networks
by: Chen, Hao, et al.
Published: (2026)
by: Chen, Hao, et al.
Published: (2026)
On Integer Programming for the Binarized Neural Network Verification Problem
by: Kim, Woojin, et al.
Published: (2025)
by: Kim, Woojin, et al.
Published: (2025)
The Cut-and-Play Algorithm: Computing Nash Equilibria via Outer Approximations
by: Carvalho, Margarida, et al.
Published: (2021)
by: Carvalho, Margarida, et al.
Published: (2021)
Advanced Cutting-Plane Algorithms for ACOPF
by: Bienstock, Daniel, et al.
Published: (2025)
by: Bienstock, Daniel, et al.
Published: (2025)
Accurate Linear Cutting-Plane Relaxations for ACOPF
by: Bienstock, Daniel, et al.
Published: (2023)
by: Bienstock, Daniel, et al.
Published: (2023)
How hard is learning to cut? Trade-offs and sample complexity
by: Khalife, Sammy, et al.
Published: (2025)
by: Khalife, Sammy, et al.
Published: (2025)
From Sequential Nodes to GPU Batches: Parallel Branch and Bound for Optimal $k$-Sparse GLMs
by: Liu, Jiachang, et al.
Published: (2026)
by: Liu, Jiachang, et al.
Published: (2026)
Electric Vehicle Scheduling and Vehicle-to-Grid Integration in Microgrids
by: Cho, Nathan, et al.
Published: (2025)
by: Cho, Nathan, et al.
Published: (2025)
Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
by: Cory-Wright, Ryan, et al.
Published: (2023)
by: Cory-Wright, Ryan, et al.
Published: (2023)
Efficient Branching Rules for Optimizing Range and Order-Based Objective Functions
by: van Rossum, Bart, et al.
Published: (2023)
by: van Rossum, Bart, et al.
Published: (2023)
SMiLE: Provably Enforcing Global Relational Properties in Neural Networks
by: Francobaldi, Matteo, et al.
Published: (2025)
by: Francobaldi, Matteo, et al.
Published: (2025)
Disjunctive Sum of Squares
by: Ahmadi, Amir Ali, et al.
Published: (2026)
by: Ahmadi, Amir Ali, et al.
Published: (2026)
A Linear and Scalable Cutting-Plane Algorithm for Electricity Pricing
by: Romero, Matías, et al.
Published: (2025)
by: Romero, Matías, et al.
Published: (2025)
Accurate and Warm-Startable Linear Cutting-Plane Relaxations for ACOPF
by: Bienstock, Daniel, et al.
Published: (2024)
by: Bienstock, Daniel, et al.
Published: (2024)
Accelerated windowing for the crew rostering problem with machine learning
by: Racette, Philippe, et al.
Published: (2025)
by: Racette, Philippe, et al.
Published: (2025)
Active Learning of Deep Neural Networks via Gradient-Free Cutting Planes
by: Zhang, Erica, et al.
Published: (2024)
by: Zhang, Erica, et al.
Published: (2024)
A Parallelized Cutting-Plane Algorithm for Computationally Efficient Modelling to Generate Alternatives
by: Lau, Michael, et al.
Published: (2025)
by: Lau, Michael, et al.
Published: (2025)
Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
by: Zhang, Xuefeng, et al.
Published: (2024)
by: Zhang, Xuefeng, et al.
Published: (2024)
Scalable First-order Method for Certifying Optimal k-Sparse GLMs
by: Liu, Jiachang, et al.
Published: (2025)
by: Liu, Jiachang, et al.
Published: (2025)
Learning to Handle Parameter Perturbations in Combinatorial Optimization: an Application to Facility Location
by: Lodi, Andrea, et al.
Published: (2019)
by: Lodi, Andrea, et al.
Published: (2019)
GPU-friendly and Linearly Convergent First-order Methods for Certifying Optimal $k$-sparse GLMs
by: Liu, Jiachang, et al.
Published: (2026)
by: Liu, Jiachang, et al.
Published: (2026)
Chance-constrained battery management strategies for the electric bus scheduling problem
by: Ricard, Léa, et al.
Published: (2025)
by: Ricard, Léa, et al.
Published: (2025)
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
by: Zhou, Duo, et al.
Published: (2024)
by: Zhou, Duo, et al.
Published: (2024)
Efficient Graph Partitioning under Resource Constraints: A Cutting-Plane Framework for Distribution Grids
by: Nguyen, Duong Thuy Anh, et al.
Published: (2026)
by: Nguyen, Duong Thuy Anh, et al.
Published: (2026)
Chvátal-Gomory Rounding of Eigenvector Inequalities for QCQPs
by: Dey, Santanu S., et al.
Published: (2026)
by: Dey, Santanu S., et al.
Published: (2026)
Exact Verification of First-Order Methods via Mixed-Integer Linear Programming
by: Ranjan, Vinit, et al.
Published: (2024)
by: Ranjan, Vinit, et al.
Published: (2024)
Learning to reoptimize: a GNN-aided fix-and-optimize approach and an application to the Lot Sizing problem
by: Lerouge, Mathieu, et al.
Published: (2026)
by: Lerouge, Mathieu, et al.
Published: (2026)
The Differentiable Feasibility Pump
by: Cacciola, Matteo, et al.
Published: (2024)
by: Cacciola, Matteo, et al.
Published: (2024)
Solving 0-1 Integer Programs with Unknown Knapsack Constraints Using Membership Oracles
by: Messana, Rosario, et al.
Published: (2024)
by: Messana, Rosario, et al.
Published: (2024)
Taming Binarized Neural Networks and Mixed-Integer Programs
by: Aspman, Johannes, et al.
Published: (2023)
by: Aspman, Johannes, et al.
Published: (2023)
Valid Cuts for the Design of Potential-based Flow Networks
by: Börner, Pascal, et al.
Published: (2025)
by: Börner, Pascal, et al.
Published: (2025)
Learning Large Neighborhood Search for Maritime Inventory Routing Optimization
by: Chen, Rui, et al.
Published: (2025)
by: Chen, Rui, et al.
Published: (2025)
Assortment Optimization with Visibility Constraints
by: Barre, Theo, et al.
Published: (2023)
by: Barre, Theo, et al.
Published: (2023)
Machine Learning Augmented Branch and Bound for Mixed Integer Linear Programming
by: Scavuzzo, Lara, et al.
Published: (2024)
by: Scavuzzo, Lara, et al.
Published: (2024)
Online Decision Making with Fairness over Time
by: Chen, Rui, et al.
Published: (2022)
by: Chen, Rui, et al.
Published: (2022)
An improved column-generation-based matheuristic for learning classification trees
by: Patel, Krunal Kishor, et al.
Published: (2023)
by: Patel, Krunal Kishor, et al.
Published: (2023)
Solving Large Multicommodity Network Flow Problems on GPUs
by: Zhang, Fangzhao, et al.
Published: (2025)
by: Zhang, Fangzhao, et al.
Published: (2025)
Solving Unsplittable Network Flow Problems with Decision Diagrams
by: Salemi, Hosseinali, et al.
Published: (2023)
by: Salemi, Hosseinali, et al.
Published: (2023)
Similar Items
-
Enforcing TSP-Optimality in Fair Vehicle Routing by Cutting Planes
by: van Rossum, Bart, et al.
Published: (2026) -
Sparse Cuts for the Positive Semidefinite Cone
by: Günlük, Oktay, et al.
Published: (2026) -
Solving Max-Cut to Global Optimality via Feasibility-Preserving Graph Neural Networks
by: Chen, Hao, et al.
Published: (2026) -
On Integer Programming for the Binarized Neural Network Verification Problem
by: Kim, Woojin, et al.
Published: (2025) -
The Cut-and-Play Algorithm: Computing Nash Equilibria via Outer Approximations
by: Carvalho, Margarida, et al.
Published: (2021)