Günther Charwat

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 6

Top Topics

Abstract Argumentation

Reasoning Problems

Dynamic Programming

Tree Decompositions

Top Venues

Fundam. Informaticae

Publications

Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran
Computing secure sets in graphs using answer set programming. J. Log. Comput. 30 (4) (2020)
Günther Charwat, Stefan Woltran
Expansion-based QBF Solving on Tree Decompositions. Fundam. Informaticae 167 (1-2) (2019)
Günther Charwat, Stefan Woltran
Expansion-based QBF Solving on Tree Decompositions. RCRA@AI*IA (2017)
Günther Charwat, Stefan Woltran
Dynamic Programming-based QBF Solving. QBF@SAT (2016)
Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran
: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. Fundam. Informaticae 147 (1) (2016)
Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran
Subset Minimization in Dynamic Programming on Tree Decompositions. AAAI Workshop: Beyond NP (2016)
Günther Charwat
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary. ICLP (Technical Communications) (2015)
Günther Charwat, Andreas Pfandler
Democratix: A Declarative Approach to Winner Determination. ADT (2015)
Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Methods for solving reasoning problems in abstract argumentation - A survey. Artif. Intell. 220 (2015)
Günther Charwat, Stefan Woltran
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. LPNMR (2015)
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran
The D-FLAT System for Dynamic Programming on Tree Decompositions. JELIA (2014)
Günther Charwat, Johannes Peter Wallner, Stefan Woltran
Utilizing ASP for Generating and Visualizing Argumentation Frameworks CoRR (2013)
Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
ARVis: Visualizing Relations between Answer Sets. LPNMR (2013)
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, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR (2013)
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
VCWC: A Versioning Competition Workflow Compiler. LPNMR (2013)
Günther Charwat, Wolfgang Dvorák
dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. COMMA (2012)