Addressing Variable Dependency in GNN-based SAT Solving

18 April 2023

Papers citing "Addressing Variable Dependency in GNN-based SAT Solving"

3 / 3 papers shown

Title
A Unified Framework for Combinatorial Optimization Based on Graph Neural Networks Yaochu Jin Xueming Yan Shiqing Liu Xiangyu Wang 49 3 0 19 Jun 2024
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks Zhaoyu Li Jinpei Guo Xujie Si NAI 24 5 0 29 Sep 2023
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 39 12 0 15 Jul 2021