cutting plane

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