3 ms·
This paper would be much more entertaining with a complete example 3-SAT solver track, and a twitch stream of people trying to complete it.
by krallja 10y ago
This paper would be much more entertaining with a complete example 3-SAT solver track, and a twitch stream of people trying to complete it.
- Sarkie 10y ago100%!