G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks

29 September 2023

Papers citing "G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks"

2 / 2 papers shown

Title
Frontier AI's Impact on the Cybersecurity Landscape Wenbo Guo Yujin Potter Tianneng Shi Zhun Wang Andy Zhang Dawn Song 52 2 0 07 Apr 2025
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models Yiwen Sun Xianyin Zhang Shiyu Huang Shaowei Cai Bing-Zhen Zhang Ke Wei 32 2 0 16 Feb 2024