ResearchTrend.AI
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

Wenxi Wang
Yang Hu
Mohit Tiwari
S. Khurshid
K. McMillan
Risto Miikkulainen
ArXivPDFHTML

Papers citing "NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks"

4 / 4 papers shown
Title
HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
HyperSAT: Unsupervised Hypergraph Neural Networks for Weighted MaxSAT Problems
Qiyue Chen
Shaolin Tan
Suixiang Gao
Jinhu Lü
GNN
NAI
36
0
0
16 Apr 2025
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Yiwen Sun
Xianyin Zhang
Shiyu Huang
Shaowei Cai
Bing-Zhen Zhang
Ke Wei
11
2
0
16 Feb 2024
Learning Better Representations From Less Data For Propositional Satisfiability
Learning Better Representations From Less Data For Propositional Satisfiability
Mohamed Ghanem
Frederik Schmitt
Julian Siber
Bernd Finkbeiner
NAI
10
0
0
13 Feb 2024
Scalable SAT Solving in the Cloud
Scalable SAT Solving in the Cloud
Dominik Schreiber
Peter Sanders
LRM
14
24
0
13 May 2022