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:
Date Issued:  [2000 TO 2024]
Subject:  Treewidth

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

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Hecher, Markus ; Roland, Valentin Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware UtilizationKonferenzbeitrag Inproceedings 2021
2Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
3Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
4Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas Lower Bounds for QBFs of Bounded TreewidthKonferenzbeitrag Inproceedings 2020
5Bliem, Bernhard ; Woltran, Stefan Complexity of Secure SetsArtikel Article 2018
6Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018
7Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan The Impact of Treewidth on ASP Grounding and SolvingKonferenzbeitrag Inproceedings 2017