KarlsruheMIS / KaMIS
Maximum independent sets and vertex covers of large sparse graphs.
☆70Updated this week
Related projects ⓘ
Alternatives and complementary repositories for KaMIS
- Near-linear time algorithm for computing near-maximum independent set☆17Updated 2 years ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆123Updated this week
- KaGen: Communication-free Massively Distributed Graph Generators☆35Updated last week
- Winning Solver of PACE Challenge 2019 Track A☆12Updated 3 years ago
- GBBS: Graph Based Benchmark Suite☆195Updated 11 months ago
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆432Updated 5 months ago
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆22Updated 2 years ago
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆395Updated 4 months ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆70Updated 4 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆60Updated this week
- vertex cover solver☆28Updated 5 years ago
- Implementation of the HYPE hypergraph partitioner.☆17Updated 4 years ago
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year
- Simplifying Experimental Algorithmics☆17Updated last month
- A standalone local search solver for general integer linear programming☆15Updated 4 months ago
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated this week
- A C++ Library for Influence Maximization☆31Updated 2 months ago
- DRL models for graph partitioning and sparse matrix ordering.☆27Updated last year
- Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)☆10Updated 2 years ago
- Graph edge partitioning algorithms☆45Updated 5 years ago
- Cut Generator Library☆24Updated 3 weeks ago
- Code for monograph "Cohesive Subgraph Computation over Large Sparse Graphs"☆24Updated 2 years ago
- ☆142Updated 8 months ago
- GPU-friendly Subgraph Isomorphism, published in ICDE 2020☆32Updated 5 months ago
- Library for finding maximum cliques on graphs☆15Updated 2 years ago
- The Chuffed CP solver☆93Updated last week
- LEMON Graph Library☆32Updated 4 years ago
- More Hierarchy in Route Planning Using Edge Hierarchies☆15Updated 4 years ago
- Isomorphism testing and automorphisms of graphs☆56Updated 2 months ago
- Terrace: A Hierarchical Graph Container for Skewed Dynamic Graphs☆21Updated last year