conftrace_

cutting plane

26 papers

Explore in graph

Co-occurring keywords

integer programming (92) combinatorial optimization (1039) branch and bound (119) neural network (6616) mixed integer programming (67) sat solver (78) cutting plane method (12) sample complexity (1169) mixed-integer linear programming (26) pseudo-boolean solving (4)

Papers

New Sequence-Independent Lifting Techniques for Cover Inequalities and When They Induce Facets IJCAI 2025
Learning Cut Generating Functions for Integer Programming NIPS 2024
Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming AAAI 2024
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024
An Accelerated Gradient Method for Convex Smooth Simple Bilevel Optimization NIPS 2024
Transformer-based Stagewise Decomposition for Large-Scale Multistage Stochastic Optimization ICML 2023
Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023
Learning to Configure Separators in Branch-and-Cut NIPS 2023
Learning Cuts via Enumeration Oracles NIPS 2023
Machine Learning for Cutting Planes in Integer Programming: A Survey IJCAI 2023
Certified Symmetry and Dominance Breaking for Combinatorial Optimisation AAAI 2022
Decomposable Non-Smooth Convex Optimization with Nearly-Linear Gradient Oracle Complexity NIPS 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification NIPS 2022
Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts NIPS 2022
Sample Complexity of Tree Search Configuration: Cutting Planes and Beyond NIPS 2021
Cutting to the Core of Pseudo-Boolean Optimization: Combining Core-Guided Search with Cutting Planes Reasoning AAAI 2021
Reinforcement Learning for Integer Programming: Learning to Cut ICML 2020
MIPaaL: Mixed Integer Program as a Layer AAAI 2020
On Irrelevant Literals in Pseudo-Boolean Constraint Learning IJCAI 2020
Subgraph Isomorphism Meets Cutting Planes: Solving With Certified Solutions IJCAI 2020
A Scalable MIP-based Method for Learning Optimal Multivariate Decision Trees NIPS 2020
On Division Versus Saturation in Pseudo-Boolean Solving IJCAI 2019
Learning Optimized Risk Scores JMLR 2019
Markov Random Field MAP as Set Partitioning PGM 2018
The Chordal Graph Polytope for Learning Decomposable Models PGM 2016