wata-orz / vertex_coverLinks
vertex cover solver
☆30Updated 5 years ago
Alternatives and similar repositories for vertex_cover
Users that are interested in vertex_cover are comparing it to the libraries listed below
Sorting:
- Near-linear time algorithm for computing near-maximum independent set☆18Updated 3 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 3 years ago
- Maximum independent sets and vertex covers of large sparse graphs.☆76Updated 2 months ago
- Steiner tree solver☆30Updated 7 years ago
- KaGen: Communication-free Massively Distributed Graph Generators☆38Updated 3 weeks ago
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year
- An open implementation of the MC family of maximum clique algorithms☆12Updated 8 years ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆39Updated last week
- Parallel Weighted Random Sampling☆20Updated 4 years ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated 2 months ago
- KaPoCE is a framework for solving the cluster editing problem that asks to transform an input graph into a cluster graph (a disjoint unio…☆10Updated 2 years ago
- GBBS: Graph Based Benchmark Suite☆211Updated 5 months ago
- ☆25Updated 4 years ago
- OpenMP-based parallel program for counting the number of triangles in a sparse graph☆18Updated 7 years ago
- Karlsruhe Rapid Ridesharing (KaRRi) Dynamic Taxi Sharing Dispatcher.☆12Updated this week
- Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…☆11Updated 3 months ago
- Graph edge partitioning algorithms☆45Updated 5 years ago
- Master's thesis project involving label-constrained reachability (LCR)☆1Updated 4 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆81Updated last week
- Dynamic data structure for sparse graphs.☆30Updated last year
- In-Memory Subgraph Matching: An In-depth Study by Dr. Shixuan Sun and Prof. Qiong Luo☆156Updated last year
- ☆17Updated 2 months ago
- Fast and exact shortest-path distance querying index☆90Updated 11 years ago
- More Hierarchy in Route Planning Using Edge Hierarchies☆14Updated 5 years ago
- Management of Benchmark Instances and Instance Attributes☆20Updated last month
- Aspen is a Low-Latency Graph Streaming System built using Compressed Purely-Functional Trees☆87Updated 5 years ago
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆436Updated last month
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆142Updated this week
- ☆11Updated last year
- ☆24Updated 3 years ago