donfaq / max_cliqueLinks
Implementation of branch and bound algorithm for maximum clique problem
☆36Updated 7 years ago
Alternatives and similar repositories for max_clique
Users that are interested in max_clique are comparing it to the libraries listed below
Sorting:
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆52Updated 4 years ago
- Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search☆154Updated last year
- Graph Neural Network architecture to solve the decision variant of the Traveling Salesperson Problem (is there a Hamiltonian tour in G wi…☆117Updated 5 years ago
- Learning local search heuristics for Boolean satisfiability☆37Updated last year
- Finding shortest paths with Graph Networks☆114Updated 6 years ago
- Implementation of "Learning Combinatorial Optimization Algorithms over Graphs"☆509Updated 6 years ago
- Learning to solve Minimum Vertex Cover using Graph Convolutional Networks and RL☆77Updated 6 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆41Updated 2 years ago
- Code for the paper 'An Efficient Graph Convolutional Network Technique for the Travelling Salesman Problem' (INFORMS Annual Meeting Sessi…☆323Updated 3 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated 2 years ago
- PyTorch implementation of NeuroSAT☆28Updated 2 years ago
- Shortest Path prediction using Graph Convolutional Networks☆27Updated 7 years ago
- NLocalSAT; Boosting Local Search with Solution Prediction☆18Updated 2 years ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆27Updated 5 years ago
- ☆28Updated 5 years ago
- Learning to Perform Local Rewriting for Combinatorial Optimization☆151Updated 5 years ago
- Exact Combinatorial Optimization with Graph Convolutional Neural Networks (NeurIPS 2019)☆384Updated 3 years ago
- ☆164Updated 5 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆46Updated 5 years ago
- Implementation of our NeurIPS 2021 paper "A Bi-Level Framework for Learning to Solve Combinatorial Optimization on Graphs".☆101Updated 2 years ago
- Overview and implementation of Belief Propagation and Loopy Belief Propagation algorithms: sum-product, max-product, max-sum☆177Updated 6 years ago
- Machine Learning for Combinatorial Optimization - NeurIPS'21 competition☆137Updated 3 years ago
- Paper collection of reinforcement learning based combinatorial optimization☆54Updated 4 years ago
- Official Repo for the NeurIPS2020 paper "Erdos Goes Neural: An Unsupervised Learning Framework for Combinatorial Optimization on Graphs"☆50Updated 3 years ago
- Maximum independent sets and vertex covers of large sparse graphs.☆79Updated this week
- Implementation of Learning Combinatorial Optimization Algorithms over Graphs, by Hanjun Dai et al. (2017)☆33Updated 7 years ago
- Code for the paper 'On Learning Paradigms for the Travelling Salesman Problem' (NeurIPS 2019 Graph Representation Learning Workshop)☆33Updated 4 years ago
- This is the source code for solving the Traveling Salesman Problems (TSP) using Monte Carlo tree search (MCTS).☆34Updated 6 years ago
- Sum product algorithm - Belief propagation (message passing) for factor graphs☆89Updated 7 years ago
- Reinforcement Learning Enhanced Quantum-inspired Algorithm for Combinatorial Optimization☆14Updated 5 years ago