Steinmetz, M.; Hoffmann, J. Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. AAAI 2016, 30.