SAT solving - An alternative to brute force bitcoin mining? Posted by clearly on Monday February 04, 2013 @04:20AM from the jheusser.github.com dept. http://jheusser.github.com/2013/02/03/satcoin.html ( no comments | 6 points | on HN )
There are no comments yet.