Heuristic-driven solving
Lecture slides
Literature
- M. Gebser, B. Kaufmann, J. Romero, R. Otero, T. Schaub, & P. Wanko (2013). “Domain-Specific Heuristics in Answer Set Programming”. In: Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence. Ed. by M. desJardins and M. Littman. AAAI/MIT Press, pp. 350-356. pdf