Marijn Heule, Torsten Schaub. What's Hot in the SAT and ASP Competitions. In Blai Bonet, Sven Koenig, editors, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA. pages 4322-4323, AAAI Press, 2015. [doi]
@inproceedings{HeuleS15,
title = {What's Hot in the SAT and ASP Competitions},
author = {Marijn Heule and Torsten Schaub},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9468},
researchr = {https://researchr.org/publication/HeuleS15},
cites = {0},
citedby = {0},
pages = {4322-4323},
booktitle = {Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA},
editor = {Blai Bonet and Sven Koenig},
publisher = {AAAI Press},
isbn = {978-1-57735-698-1},
}