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 2 months ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated 3 weeks ago
- Maximum independent sets and vertex covers of large sparse graphs.☆73Updated 2 weeks ago
- vertex cover solver☆30Updated 5 years ago
- Karlsruhe Rapid Ridesharing (KaRRi) Dynamic Taxi Sharing Dispatcher.☆12Updated last week
- Near-linear time algorithm for computing near-maximum independent set☆18Updated 3 years ago
- More Hierarchy in Route Planning Using Edge Hierarchies☆15Updated 5 years ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆140Updated last week
- KaGen: Communication-free Massively Distributed Graph Generators☆37Updated 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
- ☆17Updated last month
- GBBS: Graph Based Benchmark Suite☆206Updated 4 months ago
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆428Updated this week
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆457Updated last month
- Parallel Weighted Random Sampling☆19Updated 4 years ago
- Management of Benchmark Instances and Instance Attributes☆19Updated last week
- Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs☆24Updated last year
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated last week
- ☆17Updated 4 months ago
- ☆9Updated 6 years ago
- Library for finding maximum cliques on graphs☆15Updated 3 years ago
- Dynamic data structure for sparse graphs.☆30Updated last year
- REplicated STORagE☆13Updated 2 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆77Updated 2 months ago
- Parallel space-efficient minimal perfect hash function on SIMD and GPU☆14Updated 3 weeks ago
- Graph edge partitioning algorithms☆45Updated 5 years ago
- Generate pgfplots or gnuplots from embedded SQL statements☆27Updated 8 months ago
- ☆11Updated last year
- Implementation of the HYPE hypergraph partitioner.☆19Updated 5 years ago