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…