| layout | title | permalink |
|---|---|---|
page |
Heuristic-driven solving |
/hsolving/ |
- 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