Scalable SAT Solving in the Cloud

13 May 2022

Papers citing "Scalable SAT Solving in the Cloud"

2 / 2 papers shown

Title
A Linear Weight Transfer Rule for Local Search M. S. Chowdhury Cayden R. Codel Marijn J. H. Heule 11 1 0 27 Mar 2023
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks Wenxi Wang Yang Hu Mohit Tiwari S. Khurshid K. McMillan Risto Miikkulainen GNN NAI 22 6 0 26 Oct 2021