Domain-Specific Heuristics in Answer Set Programming.

Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramn Otero, Torsten Schaub, Philipp Wanko

Browse the full AAAI paper archive.