Günther Charwat

17 papers B 5C 1Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Explainable Mobility Prediction in Urban Transit Zones.
SEMANTiCS (Posters, Demos, Workshops & Tutorials)
Adrian M. P. Brasoveanu, Lyndon J. B. Nixon, Arno Scharl, Günther Charwat, Egon Prünster
2020 J jnl
Computing secure sets in graphs using answer set programming.
J. Log. Comput.
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran
2019 J jnl
Expansion-based QBF Solving on Tree Decompositions.
Fundam. Informaticae
Günther Charwat, Stefan Woltran
2017 — conf
Expansion-based QBF Solving on Tree Decompositions.
RCRA@AI*IA
Günther Charwat, Stefan Woltran
2016 J jnl
D-FLAT
Fundam. Informaticae
Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran
2016 — conf
Dynamic Programming-based QBF Solving.
QBF@SAT
Günther Charwat, Stefan Woltran
2016 — conf
Subset Minimization in Dynamic Programming on Tree Decompositions.
AAAI Workshop: Beyond NP
Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran
2015 — conf
Democratix: A Declarative Approach to Winner Determination.
ADT
Günther Charwat, Andreas Pfandler
2015 — conf
Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary.
ICLP (Technical Communications)
Günther Charwat
2015 B conf
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams.
LPNMR
Günther Charwat, Stefan Woltran
2015 J jnl
Methods for solving reasoning problems in abstract argumentation - A survey.
Artif. Intell.
Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes P. Wallner, Stefan Woltran
2014 B conf
The D-FLAT System for Dynamic Programming on Tree Decompositions.
JELIA
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran
2013 B conf
ARVis: Visualizing Relations between Answer Sets.
LPNMR
Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
2013 B conf
The Fourth Answer Set Programming Competition: Preliminary Report.
LPNMR
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
2013 J jnl
Utilizing ASP for Generating and Visualizing Argumentation Frameworks
CoRR
Günther Charwat, Johannes Peter Wallner, Stefan Woltran
2013 B conf
VCWC: A Versioning Competition Workflow Compiler.
LPNMR
Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao
2012 C conf
dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool.
COMMA
Günther Charwat, Wolfgang Dvorák