branch and bound

Fast Sparse Decision Tree Optimization via Reference Ensembles AAAI 2022 Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework AAAI 2022 General Cutting Planes for Bound-Propagation-Based Neural Network Verification NeurIPS 2022 Global Optimal K-Medoids Clustering of One Million Samples NeurIPS 2022 Global Optimization of K-Center Clustering ICML 2022 Interpretable Off-Policy Learning via Hyperbox Search ICML 2022 Learning to Branch with Tree MDPs NeurIPS 2022 Learning to Compare Nodes in Branch and Bound with Graph Neural Networks NeurIPS 2022 Sound and Complete Verification of Polynomial Networks NeurIPS 2022 Abstraction-based branch and bound approach to Q-learning for hybrid optimal control L4DC 2021 A Scalable Deterministic Global Optimization Algorithm for Clustering Problems ICML 2021 Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NeurIPS 2021 Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers ICLR 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 Improving Maximum k-plex Solver via Second-Order Reduction and Graph Color Bounding AAAI 2021 Keyword-Based Knowledge Graph Exploration Based on Quadratic Group Steiner Trees IJCAI 2021 Learning to Schedule Heuristics in Branch and Bound NeurIPS 2021 New Length Dependent Algorithm for Maximum Satisfiability Problem AAAI 2021 Parameterizing Branch-and-Bound Search Trees to Learn Branching Policies AAAI 2021 Sample Complexity of Tree Search Configuration: Cutting Planes and Beyond NeurIPS 2021 Towards Scalable Complete Verification of Relu Neural Networks via Dependency-based Branching IJCAI 2021 Adversarial Robustness Guarantees for Classification with Gaussian Processes AISTATS 2020 A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems AAAI 2020 Branch and Bound for Piecewise Linear Neural Network Verification JMLR 2020