M.S. Philipp Wanko

University of Potsdam
Institute of Computer Science
August-Bebel-Str. 89
D-14482 Potsdam

Office complex III, House 4, Room 02.10
directly at the Griebnitzsee S-Bahn station

Phone   +49-331-977-3083
Fax   +49-331-977-3122
Email  wanko@uni-potsdam.de

Publications

2019

  1. Frioux, C., Schaub, T., Schellhorn, S., Siegel, A., & Wanko, P. (2019). Hybrid metabolic network completion. TPLP, 19(1), 83–108. [bib]

2018

  1. Haubelt, C., Neubauer, K., Schaub, T., & Wanko, P. (2018). Design Space Exploration with Answer Set Programming. KI, 32(2-3), 205–206. [pdf] [bib]
  2. Neubauer, K., Wanko, P., Schaub, T., & Haubelt, C. (2018). Exact multi-objective design space exploration using ASPmT. In DATE (pp. 257–260). IEEE. [pdf] [bib]
  3. Frioux, C., Schaub, T., Schellhorn, S., Siegel, A., & Wanko, P. (2018). Hybrid Metabolic Network Completion. CoRR, abs/1808.04149. [pdf] [bib]
  4. Neubauer, K., Haubelt, C., Wanko, P., & Schaub, T. (2018). On leveraging approximations for exact system-level design space exploration: work-in-progress. In CODES+ISSS (pp. 15:1–15:2). IEEE / ACM. [pdf] [bib]
  5. Gebser, M., Kaminski, R., Kaufmann, B., Lühne, P., Obermeier, P., Ostrowski, M., … Wanko, P. (2018). The Potsdam Answer Set Solving Collection 5.0. KI, 32(2-3), 181–182. [pdf] [bib]
  6. Neubauer, K., Haubelt, C., Wanko, P., & Schaub, T. (2018). Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. In ASP-DAC (pp. 434–439). IEEE. [pdf] [bib]

2017

  1. Kaminski, R., Schaub, T., & Wanko, P. (2017). A Tutorial on Hybrid Answer Set Solving with clingo. In Reasoning Web (Vol. 10370, pp. 167–203). Springer. [pdf] [bib]
  2. Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S., & Wanko, P. (2017). clingo goes Linear Constraints over Reals and Integers. In ASPOCP@LPNMR (Vol. 1868). CEUR-WS.org. [bib]
  3. Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S., & Wanko, P. (2017). Clingo goes Linear Constraints over Reals and Integers. CoRR, abs/1707.04053. [pdf] [bib]
  4. Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P., & Schaub, T. (2017). Clingo goes linear constraints over reals and integers. TPLP, 17(5-6), 872–888. [pdf] [bib]
  5. Neubauer, K., Wanko, P., Schaub, T., & Haubelt, C. (2017). Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. In DATE (pp. 306–309). IEEE. [pdf] [bib]
  6. Frioux, C., Schaub, T., Schellhorn, S., Siegel, A., & Wanko, P. (2017). Hybrid Metabolic Network Completion. In LPNMR (Vol. 10377, pp. 308–321). Springer. [pdf] [bib]

2016

  1. Romero, J., Schaub, T., & Wanko, P. (2016). Computing Diverse Optimal Stable Models. In ICLP (Technical Communications) (Vol. 52, pp. 3:1–3:14). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  2. Wanko, P. (2016). Scalable Design Space Exploration via Answer Set Programming. In ICLP (Technical Communications) (Vol. 52, pp. 23:1–23:11). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [bib]
  3. Banbara, M., Inoue, K., Kaufmann, B., Schaub, T., Soh, T. C., Tamura, N., & Wanko, P. (2016). teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming. In PATAT (pp. 13–32). [pdf] [bib]
  4. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving Made Easy with Clingo 5. In ICLP (Technical Communications) (Vol. 52, pp. 2:1–2:15). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. [pdf] [bib]
  5. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving Made Easy with Clingo 5 (Extended Version). [pdf] [bib]

2013

  1. Gebser, M., Kaufmann, B., Romero, J., Otero, R., Schaub, T., & Wanko, P. (2013). Domain-Specific Heuristics in Answer Set Programming. In AAAI. AAAI Press. [pdf] [bib]