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:  Fichte, Johannes K.
Author:  WOLTRAN, STEFAN

Results 1-8 of 8 (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
3FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020
4Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
5Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018
6Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionKonferenzbeitrag Inproceedings2017
7Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 SystemBericht Report2016
8Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Counting Answer Sets via Dynamic ProgrammingKonferenzbeitrag Inproceedings2016