SAT solving - An alternative to brute force bitcoin mining?jheusser.github.com6 pointsclearly13 years ago