Content: Publications

Publications by Philipp Wanko

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Philipp Wanko

Theory Solving Made Easy with Clingo 5

Thirty-second International Conference on Logic Programming (ICLP'16) (2016)

Martin Gebser, Benjamin Kaufmann, Ramón Otero, Javier Romero, Torsten Schaub, Philipp Wanko

Domain-specific Heuristics in Answer Set Programming

Proceedings of the Twenty-Seventh National Conference on Artificial Intelligence (AAAI'13) (2013)