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:
- 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
- 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
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- KaGen: Communication-free Massively Distributed Graph Generators☆43Updated this week
- This Is Indian Country - Spring 2018 Instance☆12Apr 30, 2018Updated 7 years ago
- ☆17Feb 11, 2026Updated last month
- 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
- Vienna Graph Clustering☆17Updated this week
- Multi-platform topology-aware memory management library☆13Apr 23, 2020Updated 5 years ago
- Feasibility Pump Collection☆16Jul 6, 2023Updated 2 years ago
- Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search☆155Sep 2, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Automated discovery of optimal branching rules for the branch-and-bound algorithm☆18Dec 15, 2025Updated 3 months ago
- A (Minimal) Perfect Hash Function based on irregular cuckoo hashing, retrieval, and overloading.☆21Sep 30, 2025Updated 5 months ago
- ☆12Feb 9, 2026Updated last month
- Hardware Accelerated MWPM decoder for Quantum Error Correction☆19Mar 23, 2025Updated last year
- A Maximum Independent Set (MIS) solver library using Quantum Computing☆19Updated this week
- Method to measure the amount of allocated memory of a program at run-time.☆70Apr 4, 2022Updated 3 years ago
- ☆11Dec 30, 2020Updated 5 years ago
- Immutables as mutables, mutables as immutables.☆23Mar 19, 2026Updated last week
- The Belief Propagation approximation for probability distributions on sparse graphs☆25Mar 10, 2026Updated 2 weeks ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Bumped Ribbon Retrieval and Approximate Membership Query☆51Jun 16, 2025Updated 9 months ago
- Shared-Memory and Distributed-Memory Parallel Graph Partitioning☆50Mar 21, 2026Updated last week
- Code of NeurIPS paper: arxiv.org/abs/2302.08224☆249Sep 10, 2024Updated last year
- 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
- Implementation of the HYPE hypergraph partitioner.☆22Dec 5, 2019Updated 6 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.
- A standalone local search solver for general integer linear programming☆16Jul 8, 2024Updated last year
- Thrill - An EXPERIMENTAL Algorithmic Distributed Big Data Batch Processing Framework in C++☆583Aug 30, 2023Updated 2 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 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