Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
SAT can be solved surprisingly quickly via superposed bools on Interaction Nets
gist.github.com
6 points
LightMachine
2 years ago
1 comment
Loading...
SAT can be solved surprisingly quickly via superposed bools on Interaction Nets | Heykuki News