Tobias Stolzmann

According to our database, Tobias Stolzmann authored at least 5 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

<i>Clingraph</i>: A System for ASP-based Visualization.

Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann

Theory Pract. Log. Program., March, 2024

2023

Clingraph: A System for ASP-based Visualization.

Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann

CoRR, 2023

Towards a formalization of configuration problems for ASP-based reasoning: Preliminary report.

Nicolas Rühling, Torsten Schaub, Tobias Stolzmann

Proceedings of the 25th International Workshop on Configuration (ConfWS 2023), 2023

2022

Properties of Large 2-Crossing-Critical Graphs.

Drago Bokal, Markus Chimani, Alexander Nover, Jöran Schierbaum, Tobias Stolzmann, Mirko H. Wagner, Tilo Wiedera

J. Graph Algorithms Appl., 2022

Clingraph: ASP-Based Visualization.

Susana Hahn, Orkunt Sabuncu, Torsten Schaub, Tobias Stolzmann

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022