Knowledge Processing and Information Systems What’s Hot in the SAT and ASP Competitions
@inproceedings{DBLP:conf/aaai/HeuleS15,
title = {What's Hot in the {SAT} and {ASP} Competitions},
author = {Heule, Marijn and Schaub, Torsten},
booktitle = {{AAAI}},
pages = {4322--4323},
publisher = {{AAAI} Press},
year = {2015}
}