PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers

5 March 2019

Papers citing "PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers"

6 / 6 papers shown

Title
Denoising Diffusion for Sampling SAT Solutions Kārlis Freivalds Sergejs Kozlovics 13 2 0 30 Nov 2022
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li X. Si BDL NAI 11 10 0 07 Nov 2022
A Solver-Free Framework for Scalable Learning in Neural ILP Architectures Yatin Nandwani Rishabh Ranjan Mausam Parag Singla 33 7 0 17 Oct 2022
One Model, Any CSP: Graph Neural Networks as Fast Global Search Heuristics for Constraint Satisfaction Jan Tonshoff Berke Kisin Jakob Lindner Martin Grohe GNN 18 22 0 22 Aug 2022
Transformer-based Machine Learning for Fast SAT Solvers and Logic Synthesis Feng Shi Chonghan Lee M. K. Bashar N. Shukla Song-Chun Zhu N. Vijaykrishnan NAI LRM 31 12 0 15 Jul 2021
Geometric deep learning: going beyond Euclidean data M. Bronstein Joan Bruna Yann LeCun Arthur Szlam P. Vandergheynst GNN 253 3,239 0 24 Nov 2016