Philipp Wanko

Theory Solving Made Easy with Clingo 5

Martin Gebser, Roland Kaminski, Benjamin Kaufmann et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2016 · 147 citations · Full text

Computing, Computer Science, Algorithms +13

Domain-Specific Heuristics in Answer Set Programming

Martin Gebser, Benjamin Kaufmann, Javier Romero et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2013 · 53 citations · Full text

Computing, Computer Science, Algorithms +15

$${\varvec{teaspoon}}$$: solving the curriculum-based course timetabling problems with answer set programming

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann et al. · Annals of Operations Research · 2018 · 35 citations

Education, Computer Science, Curriculum +7

Train Scheduling with Hybrid Answer Set Programming

Dirk Abels, Julian Jordi, Max Ostrowski et al. · Theory and Practice of Logic Programming · 2020 · 23 citations · Full text

Computing, Computer Science, Algorithms +15

Exact multi-objective design space exploration using ASPmT

Kai Neubauer, Philipp Wanko, Torsten Schaub et al. · 2018 · 20 citations

Architecture, Systems Engineering, Design Optimization +16