ResearchBenchmarksSAT solving on Synthetic datasets Same DistributionSAT solving on Synthetic datasets Same DistributionFollow63.16SRNSNet38.678445.034251.3957.7458Nov 7, 2022Evaluation resultsMethodMethodLinksSR3-SAT AccuracyCATotal ScoreNSNetSupervision=MarginalSupervision=Marginal2022.1163.1663.5256.360.99BPSupervision=N/ASupervision=N/A2022.1149.6551.4336.4545.84NeuroSATSupervision=MarginalSupervision=Marginal2022.1147.7748.650.9749.11NeuroSATSupervision=AssignmentSupervision=Assignment2022.1144.1643.7435.3741.09NSNetSupervision=AssignmentSupervision=Assignment2022.1139.6257.6347.248.15