pawelswoboda Goto Github PK

arboricity

Compute arboricity and forest decomposition of graphs.

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.

conicbundle

ConicBundle software from https://www-user.tu-chemnitz.de/~helmberg/ConicBundle/ with additional cmake script

cs2-cpp

C++ implementation CS2 minimum cost flow algorithm

dag-reachability

Reachability and transitive reduction for DAGs

dd_ilp

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

dense-multicut

graph

Graphs and Graph Algorithms in C++, including Minimum Cost (Lifted) Multicuts

heap-layers

Heap Layers: An Extensible Memory Allocation Infrastructure

lbdd

BDDs for large variable numbers.

lectures

lingeling

Lingeling SAT Solver

lp_mp

Solving LPs with convergent message passing

lp_mp-cell-tracking

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

lp_mp-cut

Dual decomposition solvers for (lifted) multicut and max cut based on the LP_MP library.

lp_mp-discrete-tomography

Dual decomposition solvers for the discrete tomography problem based on the LP_MP library.

lp_mp-mrf

Dual decomposition based Markov-Random-Fields solvers.

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.

mcf-ssp

Successive shortest path minimum cost flow solver

mqlib

Implementations of heuristics for the Max-cut and QUBO problems in C++

open-pls

OpenPLS: A open phased local search (PLS) algorithm for maximum clique and related problems

opengm

A C++ Library for Discrete Graphical Models

opengm-converter

Scripts to convert opengm models to text files.

optimization-problem-archive

archive of combinatorial problems in computer vision

pawelswoboda.github.io

pml

rama

structured-prediction-problem-archive

Archive of structured prediction problems from computer vision and machine learning

tropical-convolution

efficient convolution in (min,+) algebra