Maximum independent sets and vertex covers of large sparse graphs.
☆83Mar 23, 2026Updated this week
Alternatives and similar repositories for KaMIS
Users that are interested in KaMIS are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- vertex cover solver☆31Nov 8, 2019Updated 6 years ago
- Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)☆10Jan 15, 2022Updated 4 years ago
- More Hierarchy in Route Planning Using Edge Hierarchies☆14Mar 4, 2020Updated 6 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Mar 12, 2026Updated 2 weeks ago
- A benchmarking suite for maximum independent set solvers.☆52Feb 3, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆14Sep 5, 2023Updated 2 years ago
- Packed and Compressed Hash Tables☆15Apr 7, 2025Updated 11 months ago
- Algorithms course project to implement branch and bound algorithm on minimum vertex cover problem.☆10Aug 5, 2019Updated 6 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…☆11Dec 19, 2022Updated 3 years ago
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 7 years ago
- Powerful assertions made easy: Define assertion levels, get insights with expression decomposition, and switch between exceptions and ass…☆11Aug 19, 2025Updated 7 months ago
- Learning to solve Minimum Vertex Cover using Graph Convolutional Networks and RL☆78Apr 8, 2019Updated 6 years ago
- KaHIP -- HIGH Quality Partitioning.☆475Updated this week
- Multi-platform topology-aware memory management library☆13Apr 23, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years ago
- Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search☆155Sep 2, 2024Updated last year
- Dynamic Hashed Blocks (DHB) data structure for dynamic graphs☆12Sep 8, 2025Updated 6 months ago
- ☆12Feb 9, 2026Updated last month
- Method to measure the amount of allocated memory of a program at run-time.☆70Apr 4, 2022Updated 3 years ago
- Immutables as mutables, mutables as immutables.☆23Mar 19, 2026Updated last week
- ☆16Apr 21, 2025Updated 11 months ago
- Speeded-up LKH-3 version + Set Partitioning Heuristic phase. Participated to 12th DIMACS implementation challenge.☆12Jan 31, 2022Updated 4 years ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆50Mar 21, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Implementation of the Caprara, Fischetti, and Toth algorithm for the Set Covering problem.☆18Mar 5, 2025Updated last year
- An exact algorithm for the maximum clique problem (MCP) which improves over state-of-the-art approaches in some cases by orders of magnit…☆15Nov 15, 2025Updated 4 months ago
- ☆22Jun 12, 2024Updated last year
- LibMVC is a collection of fast iterative minimum vertex cover solvers. Currently NuMVC and FastVC are implemented.☆12Jun 14, 2022Updated 3 years ago
- A naive implementation of the Gomory cutting plane algorithm☆16May 11, 2020Updated 5 years ago
- KaMPIng: (Near) zero-overhead MPI wrapper for modern C++☆68Updated this week
- Implementation of the HYPE hypergraph partitioner.☆22Dec 5, 2019Updated 6 years ago
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated last year
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Aquaplanning QUick Automated Planning.☆13Oct 13, 2020Updated 5 years ago
- Scalable Automated Reasoning for HPC and Clouds☆87Updated this week
- Outil pour analyser vos déplacements à Vélib' en toute simplicité.☆13Oct 26, 2022Updated 3 years ago
- Optimal gate sizing of digital circuits using geometric programming☆11Aug 18, 2016Updated 9 years ago
- ☆24Dec 4, 2020Updated 5 years ago
- ☆38May 3, 2023Updated 2 years ago
- Demos for book: Scientific computing for physicists.☆33Nov 6, 2025Updated 4 months ago