dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. - Günther Charwat; Wolfgang Dvorák (COMMA, 2012)

The Fourth Answer Set Programming Competition: Preliminary Report. - Mario Alviano; Francesco Calimeri; Günther Charwat; Minh Dao-Tran; Carmine Dodaro; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Johannes Oetsch; Andreas Pfandler; Jörg Pührer; Christoph Redl; et al. (LPNMR, 2013)

ARVis: Visualizing Relations between Answer Sets. - Thomas Ambroz; Günther Charwat; Andreas Jusits; Johannes Peter Wallner; Stefan Woltran (LPNMR, 2013)

VCWC: A Versioning Competition Workflow Compiler. - Günther Charwat; Giovambattista Ianni; Thomas Krennwallner; Martin Kronegger; Andreas Pfandler; Christoph Redl; Martin Schwengerer; Lara Katharina Spendier; Johannes Peter Wallner; Guohui Xiao 001 (LPNMR, 2013)

Utilizing ASP for Generating and Visualizing Argumentation Frameworks - Günther Charwat; Johannes Peter Wallner; Stefan Woltran (CoRR, 2013)

The D-FLAT System for Dynamic Programming on Tree Decompositions. - Michael Abseher; Bernhard Bliem; Günther Charwat; Frederico Dusberger; Markus Hecher; Stefan Woltran (JELIA, 2014)

Democratix: A Declarative Approach to Winner Determination. - Günther Charwat; Andreas Pfandler (ADT, 2015)

Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary. - Günther Charwat (ICLP (Technical Communications), 2015)

Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. - Günther Charwat; Stefan Woltran (LPNMR, 2015)

Methods for solving reasoning problems in abstract argumentation - A survey. - Günther Charwat; Wolfgang Dvorák; Sarah Alice Gaggl; Johannes Peter Wallner; Stefan Woltran (Artif. Intell., 2015)

Subset Minimization in Dynamic Programming on Tree Decompositions. - Bernhard Bliem; Günther Charwat; Markus Hecher; Stefan Woltran (AAAI Workshop: Beyond NP, 2016)

Dynamic Programming-based QBF Solving. - Günther Charwat; Stefan Woltran (QBF@SAT, 2016)

D-FLAT2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. - Bernhard Bliem; Günther Charwat; Markus Hecher; Stefan Woltran (Fundam. Informaticae, 2016)

Expansion-based QBF Solving on Tree Decompositions. - Günther Charwat; Stefan Woltran (Fundam. Informaticae, 2019)

Computing secure sets in graphs using answer set programming. - Michael Abseher; Bernhard Bliem; Günther Charwat; Frederico Dusberger; Stefan Woltran (J. Log. Comput., 2020)