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

Computing Diverse Optimal Stable Models. - Javier Romero 003; Torsten Schaub; Philipp Wanko (ICLP (Technical Communications), 2016)

Theory Solving Made Easy with Clingo 5. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Max Ostrowski; Torsten Schaub; Philipp Wanko (ICLP (Technical Communications), 2016)

Scalable Design Space Exploration via Answer Set Programming. - Philipp Wanko (ICLP (Technical Communications), 2016)

Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation. - Kai Neubauer; Philipp Wanko; Torsten Schaub; Christian Haubelt (DATE, 2017)

A Tutorial on Hybrid Answer Set Solving with clingo. - Roland Kaminski; Torsten Schaub; Philipp Wanko (RW, 2017)

Clingo goes linear constraints over reals and integers. - Tomi Janhunen; Roland Kaminski; Max Ostrowski; Sebastian Schellhorn; Philipp Wanko; Torsten Schaub (Theory Pract. Log. Program., 2017)

Utilizing quad-trees for efficient design space exploration with partial assignment evaluation. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (ASP-DAC, 2018)

On leveraging approximations for exact system-level design space exploration: work-in-progress. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (CODES+ISSS, 2018)

Exact multi-objective design space exploration using ASPmT. - Kai Neubauer; Philipp Wanko; Torsten Schaub; Christian Haubelt (DATE, 2018)

Systematic Test Case Instance Generation for the Assessment of System-level Design Space Exploration Approaches. - Kai Neubauer; Christian Haubelt; Philipp Wanko; Torsten Schaub (MBMV, 2018)

The Potsdam Answer Set Solving Collection 5.0. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Patrick Lühne; Philipp Obermeier; Max Ostrowski; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn; Philipp Wanko (Künstliche Intell., 2018)

Design Space Exploration with Answer Set Programming. - Christian Haubelt; Kai Neubauer; Torsten Schaub; Philipp Wanko (Künstliche Intell., 2018)

Train Scheduling with Hybrid ASP. - Dirk Abels; Julian Jordi; Max Ostrowski; Torsten Schaub; Ambra Toletti; Philipp Wanko (LPNMR, 2019)

teaspoon : solving the curriculum-based course timetabling problems with answer set programming. - Mutsunori Banbara; Katsumi Inoue; Benjamin Kaufmann; Tenda Okimoto; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Philipp Wanko (Ann. Oper. Res., 2019)

Design Space Exploration via Answer Set Programming Modulo Theories. - Philipp Wanko (CoRR, 2019)

Hybrid metabolic network completion. - Clémence Frioux; Torsten Schaub; Sebastian Schellhorn; Anne Siegel; Philipp Wanko (Theory Pract. Log. Program., 2019)

An ASP Semantics for Constraints Involving Conditional Aggregates. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (ECAI, 2020)

A Uniform Treatment of Aggregates and Constraints in Hybrid ASP. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (KR, 2020)

Towards a Semantics for Hybrid ASP systems. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (CoRR, 2021)

Train Scheduling with Hybrid Answer Set Programming. - Dirk Abels; Julian Jordi; Max Ostrowski; Torsten Schaub; Ambra Toletti; Philipp Wanko (Theory Pract. Log. Program., 2021)

Routing and Scheduling in different ways: Abridged Preliminary Report. - Jan Behrens; Roland Kaminski; Torsten Schaub; Tran Cao Son; Jiri Svancara; Philipp Wanko (ICLP Workshops, 2023)

Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. - Jirí Svancara; Etienne Tignon; Roman Barták; Torsten Schaub; Philipp Wanko; Roland Kaminski (SOCS, 2023)

How to Build Your Own ASP-based System?! - Roland Kaminski; Javier Romero 003; Torsten Schaub; Philipp Wanko (Theory Pract. Log. Program., 2023)

On the Semantics of Hybrid ASP Systems Based on Clingo. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (Algorithms, 2023)

Evolutionary System Design with Answer Set Programming. - Christian Haubelt; Luise Müller; Kai Neubauer; Torsten Schaub; Philipp Wanko (Algorithms, 2023)

Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. - David Rajaratnam; Torsten Schaub; Philipp Wanko; Kai Chen; Sirui Liu; Tran Cao Son (Algorithms, 2023)

Towards Industrial-Scale Product Configuration. - Joachim Baumeister; Konstantin Herud; Max Ostrowski; Jochen Reutelshöfer; Nicolas Rühling; Torsten Schaub; Philipp Wanko (LPNMR, 2024)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. - Roland Kaminski; Torsten Schaub; Tran Cao Son; Jirí Svancara; Philipp Wanko (CoRR, 2024)

Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design. - Luise Müller; Philipp Wanko; Christian Haubelt; Torsten Schaub (Int. J. Parallel Program., 2024)

Strong Equivalence in Answer Set Programming with Constraints. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Philipp Wanko (CoRR, 2025)

Towards Industrial-scale Product Configuration. - Joachim Baumeister; Susana Hahn; Konstantin Herud; Max Ostrowski; Jochen Reutelshöfer; Nicolas Rühling; Torsten Schaub; Philipp Wanko (CoRR, 2025)