GPU_programming

94 readers

3 users here now

Programming Lemmy instance focused on GPUs. CUDA, OpenCL, ROCm, DirectX, Vulkan are all on subject here.

founded 1 year ago

MODERATORS

[email protected]

Solving MaxSAT with Matrix Multiplication (hgpu.org)

submitted 1 year ago by [email protected] to c/[email protected]

0 comments fedilink hide all child comments

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...)

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here