KarlsruheMIS / KaMISLinks
Maximum independent sets and vertex covers of large sparse graphs.
☆77Updated 2 months ago
Alternatives and similar repositories for KaMIS
Users that are interested in KaMIS are comparing it to the libraries listed below
Sorting:
- 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…☆144Updated 2 weeks ago
- An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…☆59Updated last year
- KaGen: Communication-free Massively Distributed Graph Generators☆39Updated last month
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆474Updated 2 weeks ago
- vertex cover solver☆30Updated 5 years ago
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 3 years ago
- Near-linear time algorithm for computing near-maximum independent set☆18Updated 3 years ago
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆82Updated this week
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆439Updated 2 months ago
- A standalone local search solver for general integer linear programming☆16Updated 11 months 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
- DRL models for graph partitioning and sparse matrix ordering.☆31Updated last year
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆22Updated 3 years ago
- ☆155Updated last year
- [ICLR 2023 spotlight] "On Representing Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng Lu, W…☆36Updated last year
- JAX + Flax implementation of "Combinatorial Optimization with Physics-Inspired Graph Neural Networks" by Schuetz et al.☆53Updated 2 years ago
- A standalone local search solver for general mixed integer programming☆23Updated 3 months ago
- Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)☆10Updated 3 years ago
- Generators for Combinatorial Optimization☆18Updated 2 years ago
- GBBS: Graph Based Benchmark Suite☆211Updated 6 months ago
- Graph edge partitioning algorithms☆46Updated 5 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 2 years ago
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆18Updated 2 years ago
- Graph Partitoning Using Graph Convolutional Networks☆65Updated 3 years ago
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- Steiner tree solver☆30Updated 7 years ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆27Updated 5 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆68Updated last month
- KaTric: scalable distributed-memory triangle counting made in Karlsruhe☆13Updated last year