Picture for Reinhard Pichler

Reinhard Pichler

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

Add code
Dec 29, 2020
Figure 1 for The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Figure 2 for The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Figure 3 for The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Figure 4 for The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Viaarxiv icon

HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings

Add code
Sep 02, 2020
Figure 1 for HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
Viaarxiv icon

Datalog: Bag Semantics via Set Semantics

Add code
Jul 25, 2018
Figure 1 for Datalog: Bag Semantics via Set Semantics
Figure 2 for Datalog: Bag Semantics via Set Semantics
Viaarxiv icon

Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough

Add code
May 29, 2012
Figure 1 for Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough
Viaarxiv icon