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

Results 41-60 of 90 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
41Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018
42Bliem, Bernhard ; Woltran, Stefan Equivalence between answer-set programs under (partially) fixed inputArtikel Article 2018
43Dvorak, Wolfgang ; Woltran, Stefan ; Gressler, Alexander Evaluating SETAFs via Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2018
44Woltran, Stefan ; Schaub, Torsten Answer set programming unleashed!Artikel Article 2018
45Abseher, Michael ; Hecher, Markus ; Moldovan, Marius ; Woltran, Stefan ; Bliem, Bernhard Dynamic Programming on Tree Decompositions with {D-FLAT}Artikel Article 2018
46GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN When you must forget: Beyond strong persistence when forgetting in answer set programmingArtikel Article2017
47Morak, Michael ; Bichler, Manuel ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
48Charwat, Günther ; Woltran, Stefan Expansion-based (QBF) Solving on Tree DecompositionsKonferenzbeitrag Inproceedings 2017
49Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan The Impact of Treewidth on ASP Grounding and SolvingKonferenzbeitrag Inproceedings 2017
50Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and BeyondKonferenzbeitrag Inproceedings 2017
51Maly, Jan ; Woltran, Stefan Ranking Specific Sets of ObjectsArtikel Article 2017
52Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningArtikel Article 2017
53Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionKonferenzbeitrag Inproceedings2017
54Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan A Multiparametric View on Answer Set ProgrammingKonferenzbeitrag Inproceedings2017
55Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard The Impact of Treewidth on {ASP} Grounding and SolvingKonferenzbeitrag Inproceedings 2017
56Maly, Jan ; Woltran, Stefan Ranking Specific Sets of ObjectsKonferenzbeitrag Inproceedings2017
57Woltran, Stefan Dynamic Programming on Tree Decompositions in PracticePräsentation Presentation2016
58Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningBericht Report2016
59Charwat, Günther ; Woltran, Stefan BDD-based Dynamic Programming on Tree DecompositionsBericht Report2016
60Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan Treewidth-Preserving Modeling in ASPBericht Report2016