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

Sample Complexity of Tree Search Configuration: Cutting Planes and Beyond NIPS 2021
Learning to Schedule Heuristics in Branch and Bound NIPS 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification NIPS 2021
New Length Dependent Algorithm for Maximum Satisfiability Problem AAAI 2021
Abstraction-based branch and bound approach to Q-learning for hybrid optimal control L4DC 2021
GLSearch: Maximum Common Subgraph Detection via Learning to Search ICML 2021
Keyword-Based Knowledge Graph Exploration Based on Quadratic Group Steiner Trees IJCAI 2021
Branch and Bound for Piecewise Linear Neural Network Verification JMLR 2020
Adversarial Robustness Guarantees for Classification with Gaussian Processes AISTATS 2020
Reinforcement Learning for Integer Programming: Learning to Cut ICML 2020
k-SDPP: Fixed-Size Video Summarization via Sequential Determinantal Point Processes IJCAI 2020
Ddo, a Generic and Efficient Framework for MDD-Based Optimization IJCAI 2020
Globally Optimal Contrast Maximisation for Event-Based Motion Estimation CVPR 2020
Hybrid Models for Learning to Branch NIPS 2020
A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems AAAI 2020
The Alignment of the Spheres: Globally-Optimal Spherical Mixture Alignment for Camera Pose Estimation CVPR 2019
Counting the Optimal Solutions in Graphical Models NIPS 2019
Quasi-Perfect Stackelberg Equilibrium AAAI 2019
Linearly Converging Quasi Branch and Bound Algorithms for Global Rigid Registration ICCV 2019
Anytime Recursive Best-First Search for Bounding Marginal MAP AAAI 2019
Exact Combinatorial Optimization with Graph Convolutional Neural Networks NIPS 2019
A Generic Approach to Accelerating Belief Propagation Based Incomplete Algorithms for DCOPs via a Branch-and-Bound Technique AAAI 2019
A Privacy Preserving Collusion Secure DCOP Algorithm IJCAI 2019
Globally Optimal Inlier Set Maximization for Atlanta Frame Estimation CVPR 2018
Consensus Maximization for Semantic Region Correspondences CVPR 2018