M. Steinmetz and J. Hoffmann, “Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends”, AAAI, vol. 30, no. 1, Feb. 2016.