ML Anthology

Wanko, Philipp

1 publications

AAAI 2013 Domain-Specific Heuristics in Answer Set Programming Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko