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 Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P30930-N35
 

Publications

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard Fast and parallel decomposition of constraint satisfaction problemsArticle Artikel 24-Oct-2022
2Lanzinger, Matthias ; Sferrazza, Stefano ; Gottlob, Georg MV-Datalog+-: Effective Rule-based Reasoning with Uncertain ObservationsArticle Artikel 26-Jul-2022
3Wang-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
4Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan ; Wang, Yisu Remy Convergence of Datalog over (Pre-) SemiringsInproceedings Konferenzbeitrag Jun-2022
5Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan ; Wang, Yisu Remy Datalog in WonderlandArticle Artikel 2022
6Lanzinger, Matthias ; Sferrazza, Stefano ; Gottlob, Georg New Perspectives for Fuzzy Datalog (Extended Abstract)Inproceedings Konferenzbeitrag 2022
7Gottlob, Georg ; Lanzinger, Matthias ; Okulmus, Cem ; Pichler, Reinhard Fast Parallel Hypertree Decompositions in Logarithmic Recursion DepthInproceedings Konferenzbeitrag 2022
8Fischl, Wolfgang ; Gottlob, Georg ; Longo, Davide Mario ; Pichler, Reinhard HyperBench: A Benchmark and Tool for Hypergraphs and Empirical FindingsArtikel Article 2021
9Chen, Hubie ; Gottlob, Georg ; Lanzinger, Matthias ; Pichler, Reinhard Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction ProblemsKonferenzbeitrag Inproceedings 2021
10Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard Fast and Parallel Decomposition of Constraint Satisfaction ProblemsKonferenzbeitrag Inproceedings 2021
11Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. ; Conitzer, Vincent ; Sha, Fei Proportional Belief MergingKonferenzbeitrag Inproceedings 2020
12Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article 2020
13Gottlob, Georg ; Lanzinger, Matthias ; Longo, Davide Mario ; Okulmus, Cem ; Pichler, Reinhard The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph DecompositionsKonferenzbeitrag Inproceedings 2020
14Kröll, Markus ; Carmeli, Nofar On the Enumeration Complexity of Unions of Conjunctive QueriesKonferenzbeitrag Inproceedings 2019
15Skritek, Sebastian Towards Reconciling Certain Answers and {SPARQL:} Bag Semantics to the Rescue?Konferenzbeitrag Inproceedings 2019
16Kröll, Markus ; Peterfreund, Liat ; Freydenberger, Dominik ; Kimmelfeld, Benny Complexity Bounds for Relational Algebra over Document SpannersKonferenzbeitrag Inproceedings 2019
17Creignou, Nadia ; Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian ; Vollmer, Heribert A complexity theory for hard enumeration problemsArtikel Article 2019
18Mengel, Stefan ; Skritek, Sebastian ; Barcelo, Pablo ; Calautti, Marco Characterizing Tractability of Simple Well-Designed Pattern Trees with ProjectionKonferenzbeitrag Inproceedings 2019
19Fischl, Wolfgang ; Longo, Davide Mario ; Gottlob, Georg ; Pichler, Reinhard HyperBenchKonferenzbeitrag Inproceedings 2019
20Gottlob, Georg ; Lanzinger, Matthias ; Pichler, Reinhard Semantic Width Revisited (Extended Abstract)Konferenzbeitrag Inproceedings 2019