Tobias Stolzmann

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Answer Set Programming

Interactive Exploration

Configuration Problems

Algebraic Structures

Top Venues

J. Graph Algorithms Appl.

Publications

Nicolas Rühling, Torsten Schaub, Tobias Stolzmann
Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report. ConfWS (2023)
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
Clingraph: A System for ASP-based Visualization. CoRR (2023)
Drago Bokal, Markus Chimani, Alexander Nover, Jöran Schierbaum, Tobias Stolzmann, Mirko H. Wagner, Tilo Wiedera
Properties of Large 2-Crossing-Critical Graphs. J. Graph Algorithms Appl. 26 (1) (2022)
Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann
Clingraph: ASP-Based Visualization. LPNMR (2022)
Drago Bokal, Markus Chimani, Alexander Nover, Jöran Schierbaum, Tobias Stolzmann, Mirko H. Wagner, Tilo Wiedera
Properties of Large 2-Crossing-Critical Graphs. CoRR (2021)