Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/aaai/HeuleS15
%A Heule, Marijn
%A Schaub, Torsten
%B AAAI
%D 2015
%E Bonet, Blai
%E Koenig, Sven
%I AAAI Press
%K
%P 4322-4323
%T What's Hot in the SAT and ASP Competitions.
%U http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#HeuleS15
%@ 978-1-57735-698-1
@inproceedings{conf/aaai/HeuleS15,
added-at = {2023-12-12T23:37:54.000+0100},
author = {Heule, Marijn and Schaub, Torsten},
biburl = {https://www.bibsonomy.org/bibtex/2b763611332f985756ad7ce9fa28b066d/admin},
booktitle = {AAAI},
crossref = {conf/aaai/2015},
editor = {Bonet, Blai and Koenig, Sven},
ee = {http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9468},
interhash = {582190b011a6a1082d65ec74fc8d790e},
intrahash = {b763611332f985756ad7ce9fa28b066d},
isbn = {978-1-57735-698-1},
keywords = {},
pages = {4322-4323},
publisher = {AAAI Press},
timestamp = {2023-12-12T23:37:54.000+0100},
title = {What's Hot in the SAT and ASP Competitions.},
url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2015.html#HeuleS15},
year = 2015
}