KarlsruheMIS / KaMISLinks
Maximum independent sets and vertex covers of large sparse graphs.
☆78Updated last month
Alternatives and similar repositories for KaMIS
Users that are interested in KaMIS are comparing it to the libraries listed below
Sorting:
- KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…☆482Updated last month
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆22Updated 3 years ago
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆445Updated 4 months ago
- KaGen: Communication-free Massively Distributed Graph Generators☆42Updated 3 weeks ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆152Updated this week
- A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.☆87Updated this week
- An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…☆60Updated last year
- A benchmarking suite for maximum independent set solvers.☆51Updated last year
- DRL models for graph partitioning and sparse matrix ordering.☆31Updated last year
- ☆157Updated last year
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆79Updated last year
- Near-linear time algorithm for computing near-maximum independent set☆19Updated 3 years ago
- A standalone local search solver for general mixed integer programming☆24Updated last month
- Parallel Presolve for Integer and Linear Optimization☆74Updated last week
- A standalone local search solver for general integer linear programming☆16Updated last year
- JAX + Flax implementation of "Combinatorial Optimization with Physics-Inspired Graph Neural Networks" by Schuetz et al.☆58Updated 2 years ago
- Isomorphism testing and automorphisms of graphs☆70Updated 11 months ago
- Extensible Combinatorial Optimization Learning Environments☆350Updated 4 months ago
- Winning Solver of PACE Challenge 2019 Track A☆13Updated 4 years ago
- Sequential object-oriented simPlex☆70Updated this week
- GBBS: Graph Based Benchmark Suite☆212Updated 3 weeks ago
- Fork of the Concorde TSP solver with an easier build procedure☆15Updated last year
- Julia hybrid constraint programming solver enhanced by a reinforcement learning driven search.☆167Updated last year
- Exact optimization for cost function networks and additive graphical models☆60Updated this week
- Home of ALP/GraphBLAS and ALP/Pregel, featuring shared- and distributed-memory auto-parallelisation of linear algebraic and vertex-centri…☆28Updated last week
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 2 years ago
- A Library of Optimization Problem Libraries☆49Updated 3 years ago
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆56Updated 2 years ago
- List of Treewidth solvers, instances, and tools☆35Updated 2 years ago