Project Acronym Projekt Kurzbezeichnung
START
 
Project Title (de) Projekttitel (de)
START
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Winner Determination in Huge Elections with MapReduce. AAAI 2017: 451-458Konferenzbeitrag Inproceedings2017
2Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel ; Endres, Markus ; Mattei, Nicholas ; Pfandler, Andreas Winner Determination in Huge Elections with MapReduceKonferenzbeitrag Inproceedings 2016
3Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018
4Woltran, Stefan ; Goncalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, Joao Variable Elimination for DLP-FunctionsKonferenzbeitrag Inproceedings 2018
5Csar, Theresa ; Pichler, Reinhard ; Sallinger, Emanuel ; Savenkov, Vadim ; Cali, Andrea ; Vidal, Maria-Esther Using Statistics for Computing Joins with MapReduceKonferenzbeitrag Inproceedings 2015
6Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan Treewidth-Preserving Modeling in ASPBericht Report2016
7Hecher, Markus Treewidth-Aware Reductions of normal ASP to SAT - Is normal ASP harder than SAT after all?Präsentation Presentation2020
8Hecher, Markus Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?Konferenzbeitrag Inproceedings 2020
9Fichte, Johannes K. ; Hecher, Markus ; Kieler, Maximilian F. I. Treewidth-Aware Quantifier Elimination and Expansion for QCSPKonferenzbeitrag Inproceedings 2020
10Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
11Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
12Fandinno, Jorge ; Hecher, Markus Treewidth-Aware Complexity in {ASP:} Not all Positive Cycles are Equally HardKonferenzbeitrag Inproceedings 2021
13Fandinno, Jorge ; Hecher, Markus Treewidth-Aware Complexity in ASP:Not all Positive Cycles are Equally HardKonferenzbeitrag Inproceedings 2020
14Fichte, Johannes ; Hecher, Markus ; Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan Treewidth and Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2019
15Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard The Impact of Treewidth on {ASP} Grounding and SolvingKonferenzbeitrag Inproceedings 2017
16Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article2020
17Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan The Impact of Treewidth on ASP Grounding and SolvingKonferenzbeitrag Inproceedings 2017
18Gottlob, Georg ; Pieris, Andreas ; Šimkus, Mantas ; Ortiz de la Fuente, M.Magdalena ; Schlobach, Stefan The Impact of Active Domain Predicates on Guarded Existential RulesKonferenzbeitrag Inproceedings 2016
19Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan ; Fermé, Eduardo ; Leite, Joao The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2014
20Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyPräsentation Presentation2020