I Built a SAT Solver Inspired by Quantum Field Theory and It Works (sethuiyer.github.io)
3 points by stuehieyr 4 hours ago | 1 comment
913 points by stuehieyr 4 hours ago | 1 comment
911 points by ibobev 4 hours ago | 0 comments
922 points by departed 4 hours ago | 1 comment
932 points by ctkhn 4 hours ago | 0 comments
945 points by rickcarlino 4 hours ago | 0 comments
95129 points by m-hodges 4 hours ago | 43 comments
962 points by zero-st4rs 4 hours ago | 0 comments
974 points by geox 4 hours ago | 0 comments
982 points by learningstone 4 hours ago | 2 comments
995 points by josephcsible 4 hours ago | 1 comment
1004 points by ronbenton 4 hours ago | 1 comment
1014 points by jerawaj740 4 hours ago | 0 comments
1024 points by pier25 4 hours ago | 2 comments
1033 points by zerosizedweasle 4 hours ago | 0 comments
1044 points by pseudolus 4 hours ago | 1 comment
10517 points by DavidPiper 5 hours ago | 10 comments
1067 points by sestep 5 hours ago | 3 comments
1074 points by salkahfi 5 hours ago | 1 comment
1083 points by julienreszka 5 hours ago | 0 comments
1093 points by samtheDamned 5 hours ago | 0 comments
1104 points by pseudolus 5 hours ago | 0 comments
1113 points by PaulHoule 5 hours ago | 0 comments
1123 points by zdw 5 hours ago | 0 comments
1133 points by herbertl 5 hours ago | 0 comments
1142 points by chmaynard 5 hours ago | 1 comment
1153 points by twopowerX 5 hours ago | 0 comments
1164 points by salkahfi 5 hours ago | 1 comment
1173 points by zerosizedweasle 5 hours ago | 0 comments
1185 points by zerosizedweasle 5 hours ago | 0 comments
11994 points by suioir 5 hours ago | 28 comments
120