ml

NeuroSAT, A Graph Neural Network Based Predictor for SAT Problem

This study explores a Graph Neural Network (GNN) based SAT solver named NeuroSAT