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:  HECHER, MARKUS
Author:  WOLTRAN, STEFAN

Results 1-19 of 19 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
2FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
3Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyKonferenzbeitrag Inproceedings 2020
4Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
5Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyPräsentation Presentation2020
6Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
7FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020
8Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
9Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018
10Abseher, Michael ; Hecher, Markus ; Moldovan, Marius ; Woltran, Stefan ; Bliem, Bernhard Dynamic Programming on Tree Decompositions with {D-FLAT}Artikel Article 2018
11Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionKonferenzbeitrag Inproceedings2017
12Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 SystemBericht Report2016
13Bliem, Bernhard ; Hecher, Markus ; Woltran, Stefan On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
14Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan Subset Minimization in Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
15Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyArtikel Article 2016
16Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Counting Answer Sets via Dynamic ProgrammingKonferenzbeitrag Inproceedings2016
17Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyBericht Report2015
18Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyKonferenzbeitrag Inproceedings 2015
19Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2014