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