The abstract stuck out to me, and I like dabbling in the 3SAT stuff on a hobby level.
The gist is that these researchers have utilized the TensorCores / FP16 Matrix Multiplication routines found in neural-network chips/instructions to start searching for MaxSAT (which seems to be related to 3SAT somehow, I’ll be reading more about this…)
You must log in or register to comment.