Gnther Charwat
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2012–2016
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | AAAI | Subset Minimization in Dynamic Programming on Tree Decompositions. | Bernhard Bliem, Gnther Charwat, Markus Hecher, Stefan Woltran |
| 2016 | SAT | Dynamic Programming-based QBF Solving. | Gnther Charwat, Stefan Woltran |
| 2015 | ICLP | Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary. | Gnther Charwat |
| 2015 | LPNMR | Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. | Gnther Charwat, Stefan Woltran |
| 2014 | JELIA | The D-FLAT System for Dynamic Programming on Tree Decompositions. | Michael Abseher, Bernhard Bliem, Gnther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran |
| 2013 | LPNMR | The Fourth Answer Set Programming Competition: Preliminary Report. | Mario Alviano, Francesco Calimeri, Gnther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jrg Phrer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2013 | LPNMR | ARVis: Visualizing Relations between Answer Sets. | Thomas Ambroz, Gnther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran |
| 2013 | LPNMR | VCWC: A Versioning Competition Workflow Compiler. | Gnther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao |
| 2012 | COMMA | dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. | Gnther Charwat, Wolfgang Dvork |