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]
@inproceedings{SteinmetzH16,
title = {Towards Clause-Learning State Space Search: Learning to Recognize Dead-Ends},
author = {Marcel Steinmetz and Joerg Hoffmann},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/11861},
researchr = {https://researchr.org/publication/SteinmetzH16},
cites = {0},
citedby = {0},
pages = {760-768},
booktitle = {Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA},
editor = {Dale Schuurmans and Michael P. Wellman},
publisher = {AAAI Press},
}