We can solve 3-SAT "quickly" via superposed booleans on interaction nets (twitter.com) 1 points by LightMachine 2y ago ↗ HN
0 comments
[ 2.9 ms ] story [ 12.2 ms ] threadNo comments yet.