Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends