A JuMP-based Nonlinear Integer Program Solver
-
Updated
Jan 30, 2024 - Julia
A JuMP-based Nonlinear Integer Program Solver
A Julia framework for implementing branch-and-bound-type algorithms
Verification of neural networks based on input splitting and forward propagation of symbolic intervals with fresh variables.
A Deterministic Global Optimization Training Algorithm for Decision Tree Problem
A custom branch-and-bound algorithm for solving low-rank matrix completion to certifiable optimality
Julia prototype for solving mixed categorical optimization problems to global optimality
A Flexible Branch and Bound Library for Julia
An Exact L0-penalized Problem Solver.
Simple branch-and-bound algorithm for teaching/tutorial purposes: solving a knapsack problem
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."