Günther Charwat

According to our database, Günther Charwat authored at least 15 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Computing secure sets in graphs using answer set programming.

Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran

J. Log. Comput., 2020

2019

Expansion-based QBF Solving on Tree Decompositions.

Günther Charwat, Stefan Woltran

Fundam. Informaticae, 2019

2016

D-FLAT²: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy.

Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran

Fundam. Informaticae, 2016

Dynamic Programming-based QBF Solving.

Günther Charwat, Stefan Woltran

Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016

Subset Minimization in Dynamic Programming on Tree Decompositions.

Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran

Proceedings of the Beyond NP, 2016

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

Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams.

Günther Charwat, Stefan Woltran

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary.

Günther Charwat

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

Democratix: A Declarative Approach to Winner Determination.

Günther Charwat, Andreas Pfandler

Proceedings of the Algorithmic Decision Theory - 4th International Conference, 2015

2014

The D-FLAT System for Dynamic Programming on Tree Decompositions.

Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Utilizing ASP for Generating and Visualizing Argumentation Frameworks

Günther Charwat, Johannes Peter Wallner, Stefan Woltran

CoRR, 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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

ARVis: Visualizing Relations between Answer Sets.

Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

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, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool.

Günther Charwat, Wolfgang Dvorák

Proceedings of the Computational Models of Argument, 2012