Hacker News new | ask | show | jobs
SAT solving - An alternative to brute force bitcoin mining? (jheusser.github.com)
6 points by clearly 4883 days ago