@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}
}