jschwiddessen / SDP-S3VM Star 1 Code Issues Pull requests An exact semidefinite programming (SDP) based solver for L2-norm semi-supervised support vector machine (S3VM) models. machine-learning julia sdp semi-supervised-learning semidefinite-programming exact-algorithm branch-and-cut Updated Oct 27, 2025 Julia
afkummer / hhcrsp-clb-lower-bounds-2021 Star 1 Code Issues Pull requests VRPSolver experiments with combinatorial lower bounds for the home health care routing and scheduling problem optimization exact-algorithm mip mathematical-programming home-care hhcrsp hhcp Updated Oct 28, 2021 Julia
Temi-Tory / InformationPropagationAnalysis.jl Star 0 Code Issues Pull requests InformationPropagationAnalysis.jl exact-algorithm reliability-analysis networkanalysis directedacyclicgraph Updated Aug 23, 2025 Julia