Concepedia

Günther Charwat

GC

Statistics

Publications

3

Citations

40

H-Index

3

Active since

2013

Affiliations

TU Wien(Current)

Günther Charwat is an author at TU Wien specializing in engineering, automated reasoning, and computer science.

Top concepts

Publications per year

2013–2016

3

Publications

3

Dynamic Programming-based QBF Solving.

Günther Charwat, Stefan Woltran · 2016 · 17 citations

, , +2

D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy

Bernhard Bliem, Günther Charwat, Markus Hecher et al. · Fundamenta Informaticae · 2016 · 12 citations

, , +22

Utilizing ASP for Generating and Visualizing Argumentation Frameworks

Günther Charwat, Johannes Wallner, Stefan Woltran · arXiv (Cornell University) · 2013 · 11 citations · Full text

, , +16

1–3 of 3