The following pages link to Matthias Lanzinger (Q2110379):
Displayed 7 items.
- Tractability beyond \(\beta\)-acyclicity for conjunctive queries with negation and SAT (Q2110380) (← links)
- The HyperTrac project: recent progress and future research directions on hypergraph decompositions (Q2110383) (← links)
- MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations (Q5038471) (← links)
- Complexity Analysis of Generalized and Fractional Hypertree Decompositions (Q5056426) (← links)
- (Q5089208) (← links)
- Fractional covers of hypergraphs with bounded multi-intersection (Q6057846) (← links)
- Incremental Updates of Generalized Hypertree Decompositions (Q6127838) (← links)