Search Results for author: Davide Mario Longo

Found 3 papers, 2 papers with code

Incremental Updates of Generalized Hypertree Decompositions

1 code implementation21 Sep 2022 Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus

As decompositions can be reused to solve CSPs with the same constraint scopes, investing resources in computing good decompositions is beneficial, even though the computation itself is hard.

valid

The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions

no code implementations29 Dec 2020 Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler

Constraint Satisfaction Problems (CSPs) play a central role in many applications in Artificial Intelligence and Operations Research.

HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings

1 code implementation2 Sep 2020 Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler

To cope with the intractability of answering Conjunctive Queries (CQs) and solving Constraint Satisfaction Problems (CSPs), several notions of hypergraph decompositions have been proposed -- giving rise to different notions of width, noticeably, plain, generalized, and fractional hypertree width (hw, ghw, and fhw).

Cannot find the paper you are looking for? You can Submit a new open access paper.