HyperTrac: hypergraph Decompositions and Tractability


Project Acronym Projekt Kurzbezeichnung
HyperTrac
 
Project Title (de) Projekttitel (de)
HyperTrac: hypergraph Decompositions and Tractability
 
Project Title (en) Projekttitel (en)
HyperTrac: hypergraph Decompositions and Tractability
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
P30930-N35
 

Publications

Results 1-20 of 30 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gottlob-2024-ACM Transactions on Database Systems-vor.pdf.jpgGottlob, Georg ; Lanzinger, Matthias ; Okulmus, Cem ; Pichler, Reinhard Fast parallel hypertree decompositions in logarithmic recursion depthArticle Artikel Feb-2024
2Gottlob-2023-Theoretical Computer Science-vor.pdf.jpgGottlob, Georg ; Lanzinger, Matthias ; Pichler, Reinhard ; Razgon, Igor Fractional covers of hypergraphs with bounded multi-intersectionArticle Artikel 10-Nov-2023
3Correa-2023-Grounding Planning Tasks Using Tree Decompositions and Iterat...-vor.pdf.jpgCorrêa, Augusto ; Hecher, Markus ; Helmert, Malte ; Longo, Davide Mario ; Pommerening, Florian ; Woltran, Stefan Grounding Planning Tasks Using Tree Decompositions and Iterated SolvingInproceedings Konferenzbeitrag 1-Jul-2023
4Grasmann-2023-Integration of Skyline Queries into Spark SQL-vor.pdf.jpgGrasmann, Lukas ; Pichler, Reinhard ; Selzer, Alexander Integration of Skyline Queries into Spark SQLInproceedings Konferenzbeitrag 2023
5Merkl-2023-Diversity of Answers to Conjunctive Queries-vor.pdf.jpgMerkl, Timo Camillo ; Pichler, Reinhard ; Skritek, Sebastian Diversity of Answers to Conjunctive QueriesInproceedings Konferenzbeitrag 2023
6Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard Fast and parallel decomposition of constraint satisfaction problemsArticle Artikel 24-Oct-2022
7Lanzinger, Matthias ; Sferrazza, Stefano ; Gottlob, Georg MV-Datalog+-: Effective Rule-based Reasoning with Uncertain ObservationsArticle Artikel 26-Jul-2022
8Wang-2022-Optimizing Recursive Queries with Progam Synthesis-vor.pdf.jpgWang, Yisu Remy ; Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan Optimizing Recursive Queries with Progam SynthesisInproceedings Konferenzbeitrag 11-Jun-2022
9Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan ; Wang, Yisu Remy Convergence of Datalog over (Pre-) SemiringsInproceedings Konferenzbeitrag Jun-2022
10Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan ; Wang, Yisu Remy Datalog in WonderlandArticle Artikel 2022
11Lanzinger, Matthias ; Sferrazza, Stefano ; Gottlob, Georg New Perspectives for Fuzzy Datalog (Extended Abstract)Inproceedings Konferenzbeitrag 2022
12Gottlob, Georg ; Lanzinger, Matthias ; Okulmus, Cem ; Pichler, Reinhard Fast Parallel Hypertree Decompositions in Logarithmic Recursion DepthInproceedings Konferenzbeitrag 2022
13Lanzinger, Matthias Tractability Beyond ß-Acyclicity for Conjunctive Queries with NegationInproceedings Konferenzbeitrag 20-Jun-2021
14Fischl, Wolfgang ; Gottlob, Georg ; Longo, Davide Mario ; Pichler, Reinhard HyperBench: A Benchmark and Tool for Hypergraphs and Empirical FindingsArtikel Article 2021
15Chen, Hubie ; Gottlob, Georg ; Lanzinger, Matthias ; Pichler, Reinhard Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction ProblemsKonferenzbeitrag Inproceedings 2021
16Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard Fast and Parallel Decomposition of Constraint Satisfaction ProblemsKonferenzbeitrag Inproceedings 2021
17Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. Proportional Belief MergingKonferenzbeitrag Inproceedings 2020
18Gottlob, Georg ; Lanzinger, Matthias ; Longo, Davide Mario ; Okulmus, Cem ; Pichler, Reinhard The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph DecompositionsKonferenzbeitrag Inproceedings 2020
19Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article 2020
20Kröll, Markus ; Carmeli, Nofar On the Enumeration Complexity of Unions of Conjunctive QueriesKonferenzbeitrag Inproceedings 2019