Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko. Domain-Specific Heuristics in Answer Set Programming. In Marie desJardins, Michael L. Littman, editors, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2012, Bellevue, Washington, USA. pages 350-356, AAAI Press, 2013. [doi]
Abstract is missing.