KarlsruheMIS / pace-2019
Winning Solver of PACE Challenge 2019 Track A
☆12Updated 3 years ago
Alternatives and similar repositories for pace-2019:
Users that are interested in pace-2019 are comparing it to the libraries listed below
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year
- Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…☆11Updated 3 weeks ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated 4 months ago
- Karlsruhe Rapid Ridesharing (KaRRi) Dynamic Taxi Sharing Dispatcher.☆12Updated this week
- vertex cover solver☆30Updated 5 years ago
- Near-linear time algorithm for computing near-maximum independent set☆18Updated 2 years ago
- More Hierarchy in Route Planning Using Edge Hierarchies☆15Updated 5 years ago
- KaGen: Communication-free Massively Distributed Graph Generators☆37Updated 2 weeks ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆138Updated last week
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆64Updated this week
- ☆17Updated last month
- Paper, code, experiments and evaluation for ESA2020 paper "Space-efficient, Fast and Exact Routing in Time-dependent Road Networks"☆10Updated 4 years ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆39Updated this week
- Management of Benchmark Instances and Instance Attributes☆19Updated 4 months ago
- GBBS: Graph Based Benchmark Suite☆204Updated 3 months ago
- Generate pgfplots or gnuplots from embedded SQL statements☆27Updated 6 months ago
- Parallel Weighted Random Sampling☆19Updated 4 years ago
- Library for finding maximum cliques on graphs☆15Updated 3 years ago
- Implementation of the HYPE hypergraph partitioner.☆19Updated 5 years ago
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆451Updated this week
- Vienna Graph Clustering☆15Updated last month
- ☆17Updated 3 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 7 months ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆51Updated last year
- Parallel Balanced Binary Tree Structures☆114Updated 3 weeks ago
- Dynamic data structure for sparse graphs.☆29Updated 11 months ago
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆422Updated last month
- KaMPIng: (Near) zero-overhead MPI wrapper for modern C++☆46Updated this week
- ☆9Updated 6 years ago
- ☆21Updated 3 years ago