wata-orz / vertex_cover
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
- Steiner tree solver☆30Updated 7 years ago
- Maximum independent sets and vertex covers of large sparse graphs.☆74Updated last month
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 3 years ago
- KaGen: Communication-free Massively Distributed Graph Generators☆38Updated this week
- Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)☆10Updated 3 years ago
- Maximum clique computation over large sparse graphs☆19Updated 3 years ago
- GPU-friendly Subgraph Isomorphism, published in ICDE 2020☆34Updated 11 months ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated last month
- A Header-Only CDCL SAT Solver for Programming Contest☆67Updated 5 years ago
- ☆25Updated 4 years ago
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆433Updated 3 weeks 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
- Fast and exact shortest-path distance querying index☆90Updated 10 years ago
- An open implementation of the MC family of maximum clique algorithms☆12Updated 8 years ago
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year
- Management of Benchmark Instances and Instance Attributes☆19Updated 3 weeks ago
- GBBS: Graph Based Benchmark Suite☆208Updated 5 months ago
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆464Updated 2 months ago
- Code for monograph "Cohesive Subgraph Computation over Large Sparse Graphs"☆26Updated 3 years ago
- ☆24Updated 2 years ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆140Updated this week
- ☆9Updated 6 years ago
- Implementation of the HYPE hypergraph partitioner.☆19Updated 5 years ago
- Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs☆24Updated last year
- Parallel Weighted Random Sampling☆20Updated 4 years ago
- Scaling Up Subgraph Query Processing with Efficient Subgraph Matching by Shixuan Sun and Dr. Qiong Luo☆17Updated 6 years ago
- Parallel Balanced Binary Tree Structures☆116Updated 2 months ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆38Updated last week
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆79Updated last week