emreyolcu / sat
Learning local search heuristics for Boolean satisfiability
☆37Updated 4 months ago
Related projects: ⓘ
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆50Updated 3 years ago
- PyTorch implementation of NeuroSAT☆26Updated last year
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆18Updated last year
- G2SAT: Learning to Generate SAT Formulas☆48Updated 4 years ago
- ☆9Updated last year
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆39Updated 4 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆28Updated 4 months ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆25Updated 4 years ago
- Official Repo for the NeurIPS2020 paper "Erdos Goes Neural: An Unsupervised Learning Framework for Combinatorial Optimization on Graphs"☆42Updated 2 years ago
- Winner of NeurIPS 2021 student leaderboard. Self-bootstrapping bayesian optimization for SCIP configuration using GNNs.☆13Updated last year
- NLocalSAT; Boosting Local Search with Solution Prediction☆17Updated last year
- A benchmarking suite for maximum independent set solvers.☆43Updated 7 months ago
- ☆32Updated last year
- Learning a Latent Search Space for Routing Problems using Variational Autoencoders☆25Updated 3 years ago
- Reimplementation of "Exact Combinatorial Optimization with Graph Convolutional Neural Networks" (NeurIPS 2019)☆31Updated 3 weeks ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆40Updated last year
- This is the code for G2MILP, a deep learning-based mixed-integer linear programming (MILP) instance generator.☆26Updated 7 months ago
- The repository for 'Unsupervised Learning for Combinatorial Optimization with Principled Proxy Design'☆15Updated last year
- ☆28Updated 4 years ago
- Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search☆151Updated 2 weeks ago
- Extending the Neural Graph Algorithm Executor☆13Updated last year
- ☆12Updated 3 years ago
- Implementation of ECO-DQN as reported in "Exploratory Combinatorial Optimization with Reinforcement Learning".☆79Updated 3 years ago
- Implementation of Learning Combinatorial Optimization Algorithms over Graphs, by Hanjun Dai et al. (2017)☆31Updated 6 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago
- A reinforcement learning based solver for combinatorial problems☆40Updated 2 years ago
- This is the source code for solving the Traveling Salesman Problems (TSP) using Monte Carlo tree search (MCTS).☆28Updated 4 years ago
- ☆22Updated 3 years ago
- Code the AAAI 2019 paper "Melding the Data-Decisions Pipeline: Decision-Focused Learning for Combinatorial Optimization"☆27Updated 3 years ago