Structure based SAT dataset for analysing GNN generalisation

Yi Fu, Anthony Tompkins, Yang Song +1

Satisfiability (SAT) solvers based on techniques such as conflict driven clause learning (CDCL) have produced excellent performance on both synthetic and real world industrial prob…