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:
Subject:  Computational Theory and Mathematics

Results 1-7 of 7 (Search time: 0.006 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
3Charwat, Günther ; Woltran, Stefan Expansion-based QBF Solving on Tree DecompositionsArtikel Article 2019
4GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN When you must forget: Beyond strong persistence when forgetting in answer set programmingArtikel Article2017
5BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN The Power of Non-Ground Rules in Answer Set ProgrammingArtikel Article 2016
6FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Dual-normal logic programs - the forgotten classArtikel Article2015
7GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN Improved answer-set programming encodings for abstract argumentationArtikel Article2015