ML Anthology

Otero, Ramón

1 publications

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