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

Filter:
Date Issued:  [2000 TO 2022]
Date Issued:  [2020 TO 2022]

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

PreviewAuthor(s)TitleTypeIssue 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
8Lanzinger, Matthias Tractability Beyond ß-Acyclicity for Conjunctive Queries with NegationInproceedings Konferenzbeitrag 20-Jun-2021
9Fischl, Wolfgang ; Gottlob, Georg ; Longo, Davide Mario ; Pichler, Reinhard HyperBench: A Benchmark and Tool for Hypergraphs and Empirical FindingsArtikel Article 2021
10Chen, Hubie ; Gottlob, Georg ; Lanzinger, Matthias ; Pichler, Reinhard Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction ProblemsKonferenzbeitrag Inproceedings 2021
11Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard Fast and Parallel Decomposition of Constraint Satisfaction ProblemsKonferenzbeitrag Inproceedings 2021
12Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. Proportional Belief MergingKonferenzbeitrag Inproceedings 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
14Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article 2020