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

Steinmetz, Marcel and Hoffmann, Jörg
(2016) Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends.
In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA..
Conference: AAAI National Conference of the American Association for Artificial Intelligence

Full text not available from this repository.
Official URL: http://www.aaai.org/ocs/index.php/AAAI/AAAI16/pape...

Actions

Actions (login required)

View Item View Item