conftrace_

branch and bound

119 papers

Explore in graph

Also known as

BAB

Co-occurring keywords

combinatorial optimization (1039) global optimization (151) mixed integer programming (67) neural network verification (106) linear programming (227) reinforcement learning (4352) mixed integer linear programming (31) adversarial robustness (1341) integer programming (92) graphical model (864)

Papers

Exact Optimization for Minimum Dominating Sets 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
Learning Branching Policies for MILPs with Proximal Policy Optimization AAAI 2026
SORREL: Suboptimal-Demonstration-Guided Reinforcement Learning for Learning to Branch AAAI 2025
Optimal Classification Trees for Continuous Feature Data Using Dynamic Programming with Branch-and-Bound AAAI 2025
Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification JMLR 2025
Search Strategy Generation for Branch and Bound Using Genetic Programming AAAI 2025
Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification AAAI 2025
Scalable 3D Registration via Truncated Entry-wise Absolute Residuals CVPR 2024
Exactly Solving Minimum Dominating Set and Its Generalization IJCAI 2024
Relational Verification Leaps Forward with RABBit NIPS 2024
Learning to Stop Cut Generation for Efficient Mixed-Integer Linear Programming AAAI 2024
Sample-and-Bound for Non-convex Optimization AAAI 2024
Rethinking the Capacity of Graph Neural Networks for Branching Strategy NIPS 2024
Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NIPS 2024
Faster Optimal Coalition Structure Generation via Offline Coalition Selection and Graph-Based Search IJCAI 2024
A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem AAAI 2024
Learning To Dive In Branch And Bound NIPS 2023
Self-Paced Learning Based Graph Convolutional Neural Network for Mixed Integer Programming (Student Abstract) AAAI 2023
Model-Based Control with Sparse Neural Dynamics NIPS 2023
LIMIP: Lifelong Learning to Solve Mixed Integer Programs AAAI 2023
Computing Twin-width with SAT and Branch & Bound IJCAI 2023
An Exact Algorithm for the Minimum Dominating Set Problem IJCAI 2023
Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem AAAI 2023