wata-orz / vertex_coverLinks
vertex cover solver
☆31Updated 6 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☆19Updated 3 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 4 years ago
- GBBS: Graph Based Benchmark Suite☆214Updated last week
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆469Updated last month
- Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs☆28Updated 2 years ago
- In-Memory Subgraph Matching: An In-depth Study by Dr. Shixuan Sun and Prof. Qiong Luo☆164Updated 2 years ago
- Graph edge partitioning algorithms☆48Updated 6 years ago
- ☆25Updated 4 years ago
- ☆11Updated 2 years ago
- GPU-friendly Subgraph Isomorphism, published in ICDE 2020☆36Updated 5 months ago
- ☆26Updated 3 years ago
- ☆39Updated 6 years ago
- Algorithms to list k-cliques in real-world graphs☆25Updated 4 years ago
- Trillion-edge Scale Graph Edge Partitioning☆30Updated 6 years ago
- Triangle Counting for the GPU using CUDA.☆14Updated 10 years ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated 3 months ago
- Source code for the paper: Accelerating Dynamic Graph Analytics on GPUs☆28Updated 2 years ago
- Scaling Up Subgraph Query Processing with Efficient Subgraph Matching by Shixuan Sun and Dr. Qiong Luo☆18Updated 7 years ago
- Fast and exact shortest-path distance querying index☆91Updated 11 years ago
- Code and data for the Clustering Uncertain Graphs paper☆10Updated 3 years ago
- The implementation of the paper "Parallel Personalized PageRank on Dynamic Graphs"☆25Updated 7 years ago
- Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)☆10Updated 3 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆92Updated last week
- A Header-Only CDCL SAT Solver for Programming Contest☆73Updated 6 years ago
- Galois: C++ library for multi-core and multi-node parallelization☆344Updated last year
- KaGen: Communication-free Massively Distributed Graph Generators☆41Updated 3 weeks ago
- VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs☆134Updated 3 months ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆47Updated last week
- Experimental Setup for Performance Analysis of Streaming Algorithms☆32Updated 4 years 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…☆11Updated 3 years ago