3 papers
cs.AI2020
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Georg Gottlob, Matthias Lanzinger, Davide Mario Longo +2
Constraint Satisfaction Problems (CSPs) play a central role in many applications in Artificial Intelligence and Operations Research. In general, solving CSPs is NP-complete. The st…
cs.DB2020
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
Wolfgang Fischl, Georg Gottlob, Davide Mario Longo +1
To cope with the intractability of answering Conjunctive Queries (CQs) and solving Constraint Satisfaction Problems (CSPs), several notions of hypergraph decompositions have been p…
cs.DB2018
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
Wolfgang Fischl, Georg Gottlob, Davide M. Longo +1
To cope with the intractability of answering Conjunctive Queries (CQs) and solving Constraint Satisfaction Problems (CSPs), several notions of hypergraph decompositions have been p…