Alternatives and similar repositories for KaMIS:

Users that are interested in KaMIS are comparing it to the libraries listed below

• KarlsruheGraphGeneration / KaGen
  KaGen: Communication-free Massively Distributed Graph Generators
  ☆35Updated last week
• LijunChang / Near-Maximum-Independent-Set
  Near-linear time algorithm for computing near-maximum independent set
  ☆18Updated 2 years ago
• kahypar / kahypar
  KaHyPar (Karlsruhe Hypergraph Partitioning) is a multilevel hypergraph partitioning framework providing direct k-way and recursive bisect…
  ☆442Updated 2 months ago
• KaHIP / KaHIP
  KaHIP -- Karlsruhe HIGH Quality Partitioning.
  ☆413Updated this week
• wata-orz / vertex_cover
  vertex cover solver
  ☆30Updated 5 years ago
• kahypar / mt-kahypar
  Mt-KaHyPar (Multi-Threaded Karlsruhe Hypergraph Partitioner) is a shared-memory multilevel graph and hypergraph partitioner equipped with…
  ☆134Updated this week
• KarlsruheMIS / pace-2019
  Winning Solver of PACE Challenge 2019 Track A
  ☆13Updated 3 years ago
• MaxiBoether / mis-benchmark-framework
  A benchmarking suite for maximum independent set solvers.
  ☆49Updated 11 months ago
• hu-macsy / dhb
  Dynamic Hashed Blocks (DHB) data structure for dynamic graphs
  ☆12Updated 2 months ago
• LPMP / BDD
  An integer linear program solver using a Lagrange decomposition into binary decision diagrams. Lagrange multipliers are updated through d…
  ☆57Updated 8 months ago
• niklas-uhl / katric
  KaTric: scalable distributed-memory triangle counting made in Karlsruhe
  ☆13Updated last year
• chuanluocs / MetaVC
  Repository for MetaVC -- A Meta Local Search Framework For Minimum Vertex Cover (MinVC)
  ☆10Updated 3 years ago
• mayerrn / HYPE
  Implementation of the HYPE hypergraph partitioner.
  ☆18Updated 5 years ago
• amazon-science / co-with-gnns-example
  ☆146Updated 11 months ago
• ParAlg / gbbs
  GBBS: Graph Based Benchmark Suite
  ☆202Updated last month
• laser-ufpb / CVRPController
  CVRPController is used to run and calculate score for the 12th DIMACS Implementation Challenge: CVRP track.
  ☆22Updated 3 years ago
• shaowei-cai-group / Local-ILP
  A standalone local search solver for general integer linear programming
  ☆16Updated 6 months ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆27Updated last year
• ciaranm / glasgow-subgraph-solver
  A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
  ☆72Updated this week
• alga-hopf / drl-graph-partitioning
  DRL models for graph partitioning and sparse matrix ordering.
  ☆29Updated last year
• hu-macsy / simexpal
  Simplifying Experimental Algorithmics
  ☆17Updated last month
• KaHIP / KaMinPar
  Shared-Memory and Distributed-Memory Parallel Graph Partitioning
  ☆38Updated this week
• LijunChang / Cohesive_subgraph_book
  Code for monograph "Cohesive Subgraph Computation over Large Sparse Graphs"
  ☆24Updated 2 years ago
• johannaSommer / generalization-neural-co-solvers
  Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"
  ☆14Updated 2 years ago
• mabseher / htd
  A small but efficient C++ library for computing (customized) tree and hypertree decompositions.
  ☆50Updated last year
• RUNCSP / RUN-CSP
  ☆10Updated last year
• molaupi / karri
  Karlsruhe Rapid Ridesharing (KaRRi) Dynamic Taxi Sharing Dispatcher.
  ☆12Updated this week
• scipopt / papilo
  Parallel Presolve for Integer and Linear Optimization
  ☆67Updated last week
• domschrei / mallob
  Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.
  ☆63Updated this week
• shaowei-cai-group / Local-MIP
  A standalone local search solver for general mixed integer programming
  ☆18Updated last month