Comment by clearly

http://jheusser.github.io/2013/02/03/satcoin.html is an article giving an example of using this approach (using a SAT solver) to bitcoin mining- how you would specify the problem etc.