START

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
START
 
Project Title (de) Projekttitel (de)
START
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Publications

Filter:
Author:  Charwat, Günther

Results 1-14 of 14 (Search time: 0.003 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 ; Woltran, Stefan BDD-based Dynamic Programming on Tree DecompositionsBericht Report2016
5Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan Subset Minimization in Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
6Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyArtikel Article 2016
7Charwat, Günther ; Woltran, Stefan Dynamic Programming-based QBF SolvingKonferenzbeitrag Inproceedings 2016
8Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyBericht Report2015
9Charwat, Günther ; Woltran, Stefan Efficient Problem Solving on Tree Decompositions Using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
10Charwat, Günther Dynamic Programming on Tree Decompositions using Binary Decision DiagramsKonferenzbeitrag Inproceedings 2015
11Charwat, Günther ; Pfandler, Andreas Democratix: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2015
12Charwat, 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
13Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyKonferenzbeitrag Inproceedings 2015
14Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2014