←back to thread

157 points galeos | 1 comments | | HN request time: 0.199s | source
Show context
js8 ◴[] No.42193249[source]
It's technically not 1-bit, but 2-bit.

Anyway, I wonder if there is some HW support in modern CPUs/GPUs for linear algebra (like matrix multiplication) over Z_2^n ? I think it would be useful for SAT solving.

replies(4): >>42193552 #>>42193565 #>>42195167 #>>42197753 #
1. JKCalhoun ◴[] No.42195167[source]
Or, technically, 1.58 bit. ;-)