Philipp Wanko

41 papers A* 2A 3B 4Misc 1Journal 23Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
FLINGO - Instilling ASP Expressiveness into Linear Integer Constraints.
CoRR
Jorge Fandinno, Pedro Cabalar, Philipp Wanko, Torsten Schaub
2025 J jnl
Strong Equivalence in Answer Set Programming with Constraints.
CoRR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2025 J jnl
Towards Industrial-scale Product Configuration.
CoRR
Joachim Baumeister, Susana Hahn, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko
2024 J jnl
Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design.
Int. J. Parallel Program.
Luise Müller, Philipp Wanko, Christian Haubelt, Torsten Schaub
2024 J jnl
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report.
CoRR
Roland Kaminski, Torsten Schaub, Tran Cao Son, Jirí Svancara, Philipp Wanko
2024 B conf
Towards Industrial-Scale Product Configuration.
LPNMR
Joachim Baumeister, Konstantin Herud, Max Ostrowski, Jochen Reutelshöfer, Nicolas Rühling, Torsten Schaub, Philipp Wanko
2023 J jnl
Evolutionary System Design with Answer Set Programming.
Algorithms
Christian Haubelt, Luise Müller, Kai Neubauer, Torsten Schaub, Philipp Wanko
2023 J jnl
How to Build Your Own ASP-based System?!
Theory Pract. Log. Program.
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
2023 B conf
Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract].
SOCS
Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski
2023 J jnl
On the Semantics of Hybrid ASP Systems Based on Clingo.
Algorithms
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2023 — conf
Routing and Scheduling in different ways: Abridged Preliminary Report.
ICLP Workshops
Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko
2023 J jnl
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints.
Algorithms
David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son
2021 J jnl
Towards a Semantics for Hybrid ASP systems.
CoRR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2021 J jnl
Train Scheduling with Hybrid Answer Set Programming.
Theory Pract. Log. Program.
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
2020 A* conf
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.
KR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020 J jnl
A Uniform Treatment of Aggregates and Constraints in Hybrid ASP.
CoRR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020 A conf
An ASP Semantics for Constraints Involving Conditional Aggregates.
ECAI
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020 J jnl
An ASP semantics for Constraints involving Conditional Aggregates.
CoRR
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko
2020 J jnl
How to build your own ASP-based system?!
CoRR
Roland Kaminski, Javier Romero, Torsten Schaub, Philipp Wanko
2020 J jnl
Train Scheduling with Hybrid Answer Set Programming.
CoRR
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
2019 J jnl
Design Space Exploration via Answer Set Programming Modulo Theories.
CoRR
Philipp Wanko
2019 J jnl
Hybrid metabolic network completion.
Theory Pract. Log. Program.
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
2019 B conf
Train Scheduling with Hybrid ASP.
LPNMR
Dirk Abels, Julian Jordi, Max Ostrowski, Torsten Schaub, Ambra Toletti, Philipp Wanko
2019 J jnl
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res.
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
2018 J jnl
Design Space Exploration with Answer Set Programming.
Künstliche Intell.
Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko
2018 A conf
Exact multi-objective design space exploration using ASPmT.
DATE
Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt
2018 J jnl
Hybrid Metabolic Network Completion.
CoRR
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
2018 Misc conf
On leveraging approximations for exact system-level design space exploration: work-in-progress.
CODES+ISSS
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2018 — conf
Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches.
MBMV
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2018 J jnl
The Potsdam Answer Set Solving Collection 5.0.
Künstliche Intell.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2018 — conf
Utilizing quad-trees for efficient design space exploration with partial assignment evaluation.
ASP-DAC
Kai Neubauer, Christian Haubelt, Philipp Wanko, Torsten Schaub
2017 — conf
A Tutorial on Hybrid Answer Set Solving with clingo.
RW
Roland Kaminski, Torsten Schaub, Philipp Wanko
2017 J jnl
Clingo goes Linear Constraints over Reals and Integers.
CoRR
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2017 J jnl
Clingo goes linear constraints over reals and integers.
Theory Pract. Log. Program.
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub
2017 A conf
Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation.
DATE
Kai Neubauer, Philipp Wanko, Torsten Schaub, Christian Haubelt
2017 B conf
Hybrid Metabolic Network Completion.
LPNMR
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
2017 — conf
clingo goes Linear Constraints over Reals and Integers.
ASPOCP@LPNMR
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
2016 — conf
Computing Diverse Optimal Stable Models.
ICLP (Technical Communications)
Javier Romero, Torsten Schaub, Philipp Wanko
2016 — conf
Scalable Design Space Exploration via Answer Set Programming.
ICLP (Technical Communications)
Philipp Wanko
2016 — conf
Theory Solving Made Easy with Clingo 5.
ICLP (Technical Communications)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko
2013 A* conf
Domain-Specific Heuristics in Answer Set Programming.
AAAI
Martin Gebser, Benjamin Kaufmann, Javier Romero, Ramón Otero, Torsten Schaub, Philipp Wanko