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

Marcel Steinmetz, Joerg Hoffmann. Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 760-768, AAAI Press, 2016. [doi]

Authors

Marcel Steinmetz

This author has not been identified. Look up 'Marcel Steinmetz' in Google

Joerg Hoffmann

This author has not been identified. Look up 'Joerg Hoffmann' in Google