SAT solving - An alternative to brute force bitcoin mining?jheusser.github.com6 points·clearly··0 commentsOpen articleSaveView on HN