Solving MaxSAT with Matrix Multiplication

Open in new window