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

Marcel Steinmetz, Jrg Hoffmann

Browse the full AAAI paper archive.