Having tried this myself, so far it doesn't work. The main problem is that SAT problems come in many different sizes, and while resampling a picture "makes sen

Having tried this myself, so far it doesn't work. The main problem is that SAT problems come in many different sizes, and while resampling a picture "makes sense" to make it smaller, resampling a SAT problem does not. Also the general lack of shape or structure makes things hard. NN can help bad SAT solvers get better, but the heuristics in the best ones are (at present) better than anything a NN can produce.