wata-orz / vertex_cover
vertex cover solver
☆28Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for vertex_cover
- Maximum independent sets and vertex covers of large sparse graphs.☆72Updated last week
- Near-linear time algorithm for computing near-maximum independent set☆17Updated 2 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 3 years ago
- Steiner tree solver☆29Updated 6 years ago
- Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)☆10Updated 2 years ago
- KaGen: Communication-free Massively Distributed Graph Generators☆35Updated this week
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated last week
- In-Memory Subgraph Matching: An In-depth Study by Dr. Shixuan Sun and Prof. Qiong Luo☆147Updated last year
- VF3 Algorithm - The fastest algorithm to solve subgraph isomorphism on large and dense graphs☆121Updated 2 years ago
- Management of Benchmark Instances and Instance Attributes☆17Updated 3 weeks ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆35Updated this week
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year
- Algorithms to list k-cliques in real-world graphs☆24Updated 3 years ago
- Scaling Up Subgraph Query Processing with Efficient Subgraph Matching by Shixuan Sun and Dr. Qiong Luo☆17Updated 5 years ago
- Code for the paper titled "Optimizing Subgraph Queries by Combining Binary and Worst-Case Optimal Joins". VLDB'19☆29Updated 3 years ago
- ☆25Updated 3 years ago
- GBBS: Graph Based Benchmark Suite☆195Updated last week
- Implementation of the HYPE hypergraph partitioner.☆17Updated 4 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆48Updated last year
- ☆16Updated 7 months ago
- ☆9Updated 6 years ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆126Updated this week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆73Updated last year
- feedback vertex set solver☆11Updated 6 years ago
- Code and data for the Clustering Uncertain Graphs paper☆9Updated 2 years ago
- Maximum clique computation over large sparse graphs☆18Updated 2 years ago
- Parallel Balanced Binary Tree Structures☆111Updated 2 weeks ago
- Source code and datasets of "An In-Depth Study of Continuous Subgraph Matching", accepted by VLDB'22 - By Xibo Sun, Dr. Shixuan Sun, Prof…☆42Updated last year
- Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs☆21Updated last year
- ☆13Updated 3 weeks ago