A JuMP-based Nonlinear Integer Program Solver
A Julia framework for implementing branch-and-bound-type algorithms
A custom branch-and-bound algorithm for solving low-rank matrix completion to certifiable optimality
A Flexible Branch and Bound Library for Julia
A Deterministic Global Optimization Training Algorithm for Decision Tree Problem
Verification of neural networks based on input splitting and forward propagation of symbolic intervals with fresh variables.
Simple branch-and-bound algorithm for teaching/tutorial purposes: solving a knapsack problem
Julia prototype for solving mixed categorical optimization problems to global optimality
Add a description, image, and links to the branch-and-bound topic page so that developers can more easily learn about it.
To associate your repository with the branch-and-bound topic, visit your repo's landing page and select "manage topics."