KarlsruheMIS / KaMISLinks
Maximum independent sets and vertex covers of large sparse graphs.
☆78Updated 2 months ago
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…☆483Updated 2 months ago
- KaGen: Communication-free Massively Distributed Graph Generators☆42Updated last month
- KaHIP -- Karlsruhe HIGH Quality Partitioning.☆449Updated 4 months ago
- Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…☆155Updated last week
- CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.☆22Updated 3 years ago
- A benchmarking suite for maximum independent set solvers.☆51Updated last year
- 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…☆61Updated last year
- Extensible Combinatorial Optimization Learning Environments☆354Updated 4 months ago
- A standalone local search solver for general mixed integer programming☆25Updated 2 weeks ago
- ☆158Updated last year
- Implementations of heuristics for the Max-cut and QUBO problems in C++☆79Updated last year
- A standalone local search solver for general integer linear programming☆16Updated last year
- Home of ALP/GraphBLAS and ALP/Pregel, featuring shared- and distributed-memory auto-parallelisation of linear algebraic and vertex-centri…☆28Updated this week
- Exact optimization for cost function networks and additive graphical models☆60Updated 3 weeks ago
- DRL models for graph partitioning and sparse matrix ordering.☆31Updated last year
- A small but efficient C++ library for computing (customized) tree and hypertree decompositions.☆56Updated 2 years ago
- Sequential object-oriented simPlex☆70Updated this week
- Customized version of Helsgaun's LKH3 algorithm for vehicle routing problems.☆31Updated 5 months ago
- Exact Combinatorial Optimization with Graph Convolutional Neural Networks (NeurIPS 2019)☆380Updated 3 years ago
- Isomorphism testing and automorphisms of graphs☆70Updated last year
- Parallel Presolve for Integer and Linear Optimization☆74Updated last week
- JAX + Flax implementation of "Combinatorial Optimization with Physics-Inspired Graph Neural Networks" by Schuetz et al.☆59Updated 2 years ago
- SCIP - Solving Constraint Integer Programs☆501Updated this week
- Machine Learning for Combinatorial Optimization - NeurIPS'21 competition☆137Updated 3 years ago
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- Code for solving LP on GPU using first-order methods☆218Updated 3 months ago
- [ICLR 2023 spotlight] "On Representing Linear Programs by Graph Neural Networks" by Ziang Chen, Jialin Liu, Xinshang Wang, Jianfeng Lu, W…☆36Updated last year
- Fork of the Concorde TSP solver with an easier build procedure☆15Updated last year
- GBBS: Graph Based Benchmark Suite☆212Updated last month