branch and bound

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control L4DC 2026 Exact Optimization for Minimum Dominating Sets AAAI 2026 Learning Branching Policies for MILPs with Proximal Policy Optimization AAAI 2026 Planning in Branch-and-Bound: Model-Based Reinforcement Learning for Exact Combinatorial Optimization AAAI 2026 Right Branches Matter in Failure-based Variable Ordering Heuristics AAAI 2026 BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics ICLR 2025 BTBS-LNS: Binarized-Tightening, Branch and Search on Learning LNS Policies for MIP ICLR 2025 Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification AAAI 2025 Learning to Select Nodes in Branch and Bound with Sufficient Tree Representation ICLR 2025 Near-Optimal Decision Trees in a SPLIT Second ICML 2025 Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound AAAI 2025 Scalable First-order Method for Certifying Optimal k-Sparse GLMs ICML 2025 Search Strategy Generation for Branch and Bound Using Genetic Programming AAAI 2025 Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound ICML 2025 SORREL: Suboptimal-Demonstration-Guided Reinforcement Learning for Learning to Branch AAAI 2025 Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification JMLR 2025 A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem AAAI 2024 A New Branch-and-Bound Pruning Framework for ℓ_0-Regularized Problems ICML 2024 CAMBranch: Contrastive Learning with Augmented MILPs for Branching ICLR 2024 Exactly Solving Minimum Dominating Set and Its Generalization IJCAI 2024 Faster Optimal Coalition Structure Generation via Offline Coalition Selection and Graph-Based Search IJCAI 2024 L2P-MIP: Learning to Presolve for Mixed Integer Programming ICLR 2024 Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming AAAI 2024 Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation ICML 2024 Relational Verification Leaps Forward with RABBit NeurIPS 2024