KarlsruheMIS / KaMIS
Maximum independent sets and vertex covers of large sparse graphs.
☆74Updated last month
Alternatives and similar repositories for KaMIS:
Users that are interested in KaMIS are comparing it to the libraries listed below
- Near-linear time algorithm for computing near-maximum independent set☆18Updated 3 years ago
- vertex cover solver☆30Updated 5 years ago
- KaGen: Communication-free Massively Distributed Graph Generators☆38Updated 2 months ago
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 3 years ago
- A benchmarking suite for maximum independent set solvers.☆51Updated last year
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆140Updated this week
- A standalone local search solver for general integer linear programming☆16Updated 10 months ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆78Updated this week
- 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
- A standalone local search solver for general mixed integer programming☆21Updated 2 months ago
- An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…☆59Updated 11 months ago
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆461Updated last month
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year
- ☆154Updated last year
- Simplifying Experimental Algorithmics☆17Updated 5 months ago
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆431Updated 2 weeks ago
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆22Updated 3 years ago
- Karlsruhe Rapid Ridesharing (KaRRi) Dynamic Taxi Sharing Dispatcher.☆12Updated this week
- Sequential object-oriented simPlex☆64Updated 3 weeks ago
- PyTorch implementation of NeuroSAT☆28Updated last year
- Cut Generator Library☆27Updated 2 weeks ago
- DRL models for graph partitioning and sparse matrix ordering.☆30Updated last year
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Updated last month
- Implementation of the HYPE hypergraph partitioner.☆19Updated 5 years ago
- More Hierarchy in Route Planning Using Edge Hierarchies☆15Updated 5 years ago
- Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)☆10Updated 3 years ago
- LEMON Graph Library☆39Updated 5 years ago
- Library for finding maximum cliques on graphs☆15Updated 3 years ago
- Parallel Presolve for Integer and Linear Optimization☆71Updated this week
- ☆19Updated last year