microsoft / PDP-Solver
PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers
☆40Updated last year
Related projects ⓘ
Alternatives and complementary repositories for PDP-Solver
- G2SAT: Learning to Generate SAT Formulas☆48Updated 4 years ago
- Using GNN and DQN to find a baetter branching heuristic for a CDCL Solver☆53Updated 4 years ago
- ☆15Updated 3 years ago
- PyTorch implementation of NeuroSAT☆26Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆43Updated 4 years ago
- Learning local search heuristics for Boolean satisfiability☆37Updated 6 months ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Updated 3 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆15Updated last year
- IPC: A Graph Data Set Compiled from International Planning Competitions☆44Updated 5 years ago
- ☆10Updated last year
- ☆47Updated 4 months ago
- ☆45Updated 4 years ago
- PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge☆14Updated 3 years ago
- The Mixing method: coordinate descent for low-rank semidefinite programming☆15Updated 3 years ago
- Tensor Belief Propagation - algorithm for approximate inference in discrete graphical models☆12Updated 4 years ago
- Implementation of the paper "Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning".☆25Updated 4 years ago
- Code accompanying the paper "Learning Permutations with Sinkhorn Policy Gradient"☆39Updated 6 years ago
- ☆49Updated 4 years ago
- [TMLR 2024] G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks☆32Updated 6 months ago
- Feasible target propagation code for the paper "Deep Learning as a Mixed Convex-Combinatorial Optimization Problem" by Friesen & Domingos…☆28Updated 6 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆11Updated 5 years ago
- ☆10Updated last year
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆269Updated 5 years ago
- Estimating Gradients for Discrete Random Variables by Sampling without Replacement☆39Updated 4 years ago
- Logistic Circuits☆35Updated 5 years ago
- Source code for the "Computationally Tractable Riemannian Manifolds for Graph Embeddings" paper☆35Updated 4 years ago
- A minimal implementation of a VAE with BinConcrete (relaxed Bernoulli) latent distribution in TensorFlow.☆21Updated 4 years ago
- ☆50Updated last year
- ☆15Updated 5 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago