Alternatives and similar repositories for BandMaxSAT:

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

• shaowei-cai-group / EasySAT
  A Simple CDCL Solver
  ☆28Updated 2 years ago
• ryanzhangfan / NeuroSAT
  PyTorch implementation of NeuroSAT
  ☆28Updated last year
• zhaoyu-li / G4SATBench
  [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
  ☆34Updated 9 months ago
• tangj90 / OPIM
  SIGMOD 2018: Online Processing Algorithms for Influence Maximization
  ☆23Updated 6 years ago
• emreyolcu / sat
  Learning local search heuristics for Boolean satisfiability
  ☆37Updated 10 months ago
• MaxiBoether / mis-benchmark-framework
  A benchmarking suite for maximum independent set solvers.
  ☆50Updated last year
• lihuixidian / PIANO
  DISCO: Influence Maximization Meets Graph Embedding and Deep Learning (a.k.a. PIANO)
  ☆14Updated 2 years ago
• shaowei-cai-group / ParKissat-RS
  Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)
  ☆22Updated 2 years ago
• triplej0079 / DeepIM
  ☆37Updated last year
• Dtrycode / ToupleGDD
  Implementation of "ToupleGDD: A Fine-Designed Solution of Influence Maximization by Deep Reinforcement Learning" (https://arxiv.org/abs/2…
  ☆25Updated 2 years ago
• qtguo / subsim
  ☆10Updated 4 years ago
• MIRALab-USTC / L2O-G2MILP
  This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.
  ☆30Updated 5 months ago
• ds4dm / learn2branch-ecole
  Reimplementation of "Exact Combinatorial Optimization with Graph Convolutional Neural Networks" (NeurIPS 2019)
  ☆34Updated 6 months ago
• LijunChang / Graph_Edit_Distance
  Exact graph edit distance (GED) computation and verification
  ☆56Updated 2 years ago
• Stalence / erdos_neu
  Official Repo for the NeurIPS2020 paper "Erdos Goes Neural: An Unsupervised Learning Framework for Combinatorial Optimization on Graphs"
  ☆49Updated 2 years ago
• snowgy / Influence_Maximization
  Simple and Fast State-of-Art Implementation of Influence Maximization Problem
  ☆48Updated 5 years ago
• idea-iitd / GCOMB
  ☆35Updated last year
• prasanna08 / SNInfluenceMaximization
  Implementation of Greedy, CELF++, SPIN, IV-Greedy, Degree Discount algorithms for influence maximization in social network and informatio…
  ☆60Updated 3 years ago
• JackChuengQAQ / CaLiG
  Source codes of "Fast Continuous Subgraph Matching over Streaming Graphs via Backtracking Reduction", SIGMOD 2023
  ☆12Updated last year
• myxxxsquared / NLocalSAT
  NLocalSAT; Boosting Local Search with Solution Prediction
  ☆18Updated last year
• amazon-science / co-with-gnns-example
  ☆151Updated last year
• yunzhuangshen / PB-DFS
  ☆11Updated 3 years ago
• MiviaLab / vf2lib
  VF2 - Subgraph Isomorphism
  ☆45Updated 4 years ago
• squareRoot3 / GraphArena
  "GraphArena: Evaluating and Exploring Large Language Models on Graph Computation" in ICLR 2025
  ☆17Updated last week
• hungnt55 / Stop-and-Stare
  ☆16Updated 7 years ago
• szzhang17 / Scaling-Up-Graph-Neural-Networks-Via-Graph-Coarsening
  Code for the KDD 2021 paper "Scaling Up Graph Neural Networks Via Graph Coarsening"
  ☆27Updated 9 months ago
• Graph-COM / CO_ProxyDesign
  The repository for 'Unsupervised Learning for Combinatorial Optimization with Principled Proxy Design'
  ☆15Updated 2 years ago
• corail-research / learning-generic-csp
  Representing CP problems as graphs
  ☆18Updated 2 months ago
• NVIDIA / GraphQSat
  Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
  ☆53Updated 4 years ago
• JiaxuanYou / G2SAT
  G2SAT: Learning to Generate SAT Formulas
  ☆50Updated 4 years ago