branch and bound

Rethinking Branching on Exact Combinatorial Optimization Solver: The First Deep Symbolic Discovery Framework ICLR 2024 Rethinking the Capacity of Graph Neural Networks for Branching Strategy NeurIPS 2024 Sample-and-Bound for Non-convex Optimization AAAI 2024 Scalable 3D Registration via Truncated Entry-wise Absolute Residuals CVPR 2024 Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes NeurIPS 2024 Towards Imitation Learning to Branch for MIP: A Hybrid Reinforcement Learning based Sample Augmentation Approach ICLR 2024 An Exact Algorithm for the Minimum Dominating Set Problem IJCAI 2023 Computing Twin-width with SAT and Branch & Bound IJCAI 2023 Finding Good Partial Assignments during Restart-Based Branch and Bound Search AAAI 2023 Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem AAAI 2023 Learning To Dive In Branch And Bound NeurIPS 2023 LIMIP: Lifelong Learning to Solve Mixed Integer Programs AAAI 2023 Model-Based Control with Sparse Neural Dynamics NeurIPS 2023 Provably Bounding Neural Network Preimages NeurIPS 2023 Reinforcement Learning for Branch-and-Bound Optimisation Using Retrospective Trajectories AAAI 2023 Self-Paced Learning Based Graph Convolutional Neural Network for Mixed Integer Programming (Student Abstract) AAAI 2023 Solving Explainability Queries with Quantification: The Case of Feature Relevancy AAAI 2023 XClusters: Explainability-First Clustering AAAI 2023 A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks ICML 2022 Adversarial Robustness Guarantees for Gaussian Processes JMLR 2022 A Scalable Deterministic Global Optimization Algorithm for Training Optimal Decision Tree NeurIPS 2022 A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem IJCAI 2022 Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) IJCAI 2022 Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound ICLR 2022 Deterministic Point Cloud Registration via Novel Transformation Decomposition CVPR 2022