Name Card

Full name Familienname, Vorname
Charwat, Günther
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 23 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Woltran, Stefan Computing Secure Sets in Graphs using Answer Set ProgrammingArtikel Article Jun-2020
2Charwat, Günther ; Woltran, Stefan Expansion-based {QBF} Solving on Tree DecompositionsArtikel Article 2019
3Charwat, Günther ; Woltran, Stefan Expansion-based (QBF) Solving on Tree DecompositionsKonferenzbeitrag Inproceedings 2017
4Charwat, Günther BDD-based dynamic programming on tree decompositions : towards an alternative approach for efficient QBF solvingThesis Hochschulschrift2017
5Charwat, Günther ; Woltran, Stefan BDD-based Dynamic Programming on Tree DecompositionsBericht Report2016
6Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan Subset Minimization in Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
7Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyArtikel Article 2016
8Charwat, Günther ; Woltran, Stefan Dynamic Programming-based QBF SolvingKonferenzbeitrag Inproceedings 2016
9Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyBericht Report2015
10Charwat, Günther ; Woltran, Stefan Efficient Problem Solving on Tree Decompositions Using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
11Charwat, Günther Dynamic Programming on Tree Decompositions using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
12Charwat, Günther ; Pfandler, Andreas Democratix: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2015
13Charwat, Günther ; Dvořák, Wolfgang ; Gaggl, Sarah A. ; Wallner, Johannes P. ; Woltran, Stefan Methods for solving reasoning problems in abstract argumentation - A surveyArtikel Article 2015
14Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyKonferenzbeitrag Inproceedings 2015
15Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan D-FLAT: Progress ReportBericht Report2014
16Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2014
17Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Woltran, Stefan Computing Secure Sets in Graphs using Answer Set Programming.Konferenzbeitrag Inproceedings 2014
18Charwat, Günther ; Pfandler, Andreas DEMOCRATIX: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2014
19Ambroz, Thomas ; Charwat, Günther ; Jusits, Andreas ; Wallner, Johannes Peter ; Woltran, Stefan ARVis: Visualizing Relations between Answer SetsKonferenzbeitrag Inproceedings 2013
20Charwat, Günther ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Pfandler, Andreas ; Redl, Christoph ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui VCWC: A Versioning Competition Workflow CompilerKonferenzbeitrag Inproceedings 2013

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ambroz Thomas - 2016 - Designing a system for experimental analysis and...pdf.jpgAmbroz, Thomas ; Jusits, Andreas Designing a system for experimental analysis and visualization of dynamic programming on tree decompositionsThesis Hochschulschrift 2016