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

XClusters: Explainability-First Clustering AAAI 2023
Solving Explainability Queries with Quantification: The Case of Feature Relevancy AAAI 2023
Finding Good Partial Assignments during Restart-Based Branch and Bound Search AAAI 2023
Provably Bounding Neural Network Preimages NIPS 2023
Model-Based Control with Sparse Neural Dynamics NIPS 2023
Combining Clause Learning and Branch and Bound for MaxSAT (Extended Abstract) IJCAI 2022
Adversarial Robustness Guarantees for Gaussian Processes JMLR 2022
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks ICML 2022
A Scalable Deterministic Global Optimization Algorithm for Training Optimal Decision Tree NIPS 2022
Global Optimization of K-Center Clustering ICML 2022
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework AAAI 2022
A Strengthened Branch and Bound Algorithm for the Maximum Common (Connected) Subgraph Problem IJCAI 2022
Learning to Compare Nodes in Branch and Bound with Graph Neural Networks NIPS 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification NIPS 2022
Interpretable Off-Policy Learning via Hyperbox Search ICML 2022
Fast Sparse Decision Tree Optimization via Reference Ensembles AAAI 2022
Learning to Branch with Tree MDPs NIPS 2022
Deterministic Point Cloud Registration via Novel Transformation Decomposition CVPR 2022
Global Optimal K-Medoids Clustering of One Million Samples NIPS 2022
Sound and Complete Verification of Polynomial Networks NIPS 2022
Abstraction-based branch and bound approach to Q-learning for hybrid optimal control L4DC 2021
Improving Maximum k-plex Solver via Second-Order Reduction and Graph Color Bounding AAAI 2021
GLSearch: Maximum Common Subgraph Detection via Learning to Search ICML 2021
Improved Acyclicity Reasoning for Bayesian Network Structure Learning with Constraint Programming IJCAI 2021
Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021