Beast code in Giters

Paul Swoboda's repositories

RAMA

Language:CudaBSD-3-Clause76 4 13

LP_MP

Solving LPs with convergent message passing

Language:C++24 8 1

dag-reachability

Reachability and transitive reduction for DAGs

Language:C++BSD-2-Clause600

LP_MP-QAP

Dual decomposition solvers for the quadratic assignment problem (QAP), also called graph matching in computer vision based on the LP_MP library.

Language:C++6 40

BCFW-Bundle

A proximal bundle method for minimizing a sum of functions. Proximal steps for subfunctions are computed with a multi plane block coordinate Frank-Wolfe method.

Language:C++2 40

LP_MP-Cell-tracking

Dual decomposition solvers for various cell tracking problem formulations based on the LP_MP library

Language:C++2 40

LP_MP-MRF

Dual decomposition based Markov-Random-Fields solvers.

Language:C++2 50

MCF-SSP

Successive shortest path minimum cost flow solver

Language:C++BSD-2-Clause2 30

structured-prediction-problem-archive

Archive of structured prediction problems from computer vision and machine learning

Language:TeX200

arboricity

Compute arboricity and forest decomposition of graphs.

Language:C++1 40

LBDD

BDDs for large variable numbers.

Language:C++BSD-2-Clause100

tropical-convolution

efficient convolution in (min,+) algebra

Language:C++MIT100

DD_ILP

Construct integer linear problems pragmatically from dual decomposition based formulations. Solve them with various backends, like ILP solvers or SAT-based ones.

Language:C++BSD-2-Clause050