Key points are not available for this paper at this time.
Mathematics solves problems by pen and paper. CS helps us to go far beyond that.
Heule et al. (Mon,) studied this question.