3.3k citations · 5.1k across the 18 of their papers we have counts for
1 paper · 1 filter
David Warde-Farley, Vinod Nair, Yujia Li +3
We propose an incomplete algorithm for Maximum Satisfiability (MaxSAT) specifically designed to run on neural network accelerators such as GPUs and TPUs. Given a MaxSAT problem ins…