collaborators

1 paper

cs.AI2023

Solving MaxSAT with Matrix Multiplication

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…