The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Günther Charwat" ( http://dblp.L3S.de/Authors/Günther_Charwat )

  Author page on DBLP  Author page in RDF  Community of Günther Charwat in ASPL-2

Publication years (Num. hits)
2012-2019 (15)
Publication types (Num. hits)
article(4) inproceedings(11)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 16 publication records. Showing 15 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Günther Charwat, Stefan Woltran Expansion-based QBF Solving on Tree Decompositions. Search on Bibsonomy Fundam. Inform. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Stefan Woltran Expansion-based QBF Solving on Tree Decompositions. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran D-FLAT2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy. Search on Bibsonomy Fundam. Inform. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran Subset Minimization in Dynamic Programming on Tree Decompositions. Search on Bibsonomy AAAI Workshop: Beyond NP The full citation details ... 2016 DBLP  BibTeX  RDF
1Günther Charwat, Stefan Woltran Dynamic Programming-based QBF Solving. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran Methods for solving reasoning problems in abstract argumentation - A survey. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Günther Charwat Dynamic Programming on Tree Decompositions using Binary Decision Diagrams: Research Summary. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Günther Charwat, Stefan Woltran Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Andreas Pfandler Democratix: A Declarative Approach to Winner Determination. Search on Bibsonomy ADT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran The D-FLAT System for Dynamic Programming on Tree Decompositions. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Johannes Peter Wallner, Stefan Woltran Utilizing ASP for Generating and Visualizing Argumentation Frameworks Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario 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 0001 The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Andreas Pfandler, Christoph Redl, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 VCWC: A Versioning Competition Workflow Compiler. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran ARVis: Visualizing Relations between Answer Sets. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Günther Charwat, Wolfgang Dvorák dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning Tool. Search on Bibsonomy COMMA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #15 of 15 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license