SAT solving - An alternative to brute force bitcoin mining?(jheusser.github.com)6 points by clearly 13 years ago | 0 commentsNo comments yet