NVIDIA / GraphQSat
Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver
☆50Updated 3 years ago
Related projects: ⓘ
- Learning local search heuristics for Boolean satisfiability☆37Updated 4 months ago
- G2SAT: Learning to Generate SAT Formulas☆48Updated 4 years ago
- PyTorch implementation of NeuroSAT☆26Updated last year
- ☆9Updated last year
- [NeurIPS 2022] "NSNet: A General Neural Probabilistic Framework for Satisfiability Problems"☆18Updated last year
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆28Updated 4 months ago
- "Do We Need Anisotropic Graph Neural Networks?" at ICLR 2022☆32Updated 2 years ago
- 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
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆40Updated last year
- NLocalSAT; Boosting Local Search with Solution Prediction☆17Updated last year
- Extending the Neural Graph Algorithm Executor☆13Updated last year
- LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models☆17Updated 2 years ago
- Code for paper: Neural Architecture Search in Graph Neural Networks (BRACIS 2020)☆17Updated last year
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Updated 3 years ago
- Official Repo for the NeurIPS2020 paper "Erdos Goes Neural: An Unsupervised Learning Framework for Combinatorial Optimization on Graphs"☆42Updated 2 years ago
- A benchmarking suite for maximum independent set solvers.☆43Updated 7 months ago
- ☆22Updated 3 years ago
- [ICML 2019] Circuit-GNN: Graph Neural Networks for Distributed Circuit Design http://circuit-gnn.csail.mit.edu/☆90Updated last year
- ☆16Updated 8 months ago
- D-VAE: A Variational Autoencoder for Directed Acyclic Graphs, NeurIPS 2019☆125Updated 3 years ago
- IPC: A Graph Data Set Compiled from International Planning Competitions☆44Updated 4 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Updated 3 years ago
- A graph neural network tailored to directed acyclic graphs that outperforms conventional GNNs by leveraging the partial order as strong i…☆113Updated 4 months ago
- Learning a Latent Search Space for Routing Problems using Variational Autoencoders☆25Updated 3 years ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆25Updated 4 years ago
- Learning Steady-States of Iterative Algorithms over Graphs☆39Updated 6 years ago
- GLSearch: Maximum Common Subgraph Detection via Learning to Search☆20Updated last year
- GraphZoom: A Multi-level Spectral Approach for Accurate and Scalable Graph Embedding☆112Updated last year
- Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search☆151Updated 2 weeks ago