conftrace_

hypertree decomposition

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

decomposition method (1) hypertree width (1) sat encoding (1) hypergraph invariant (1) elimination ordering (1) datalog reasoning (1) seminaive evaluation (1) incremental reasoning (1) linear elimination ordering (1) constraint satisfaction problem (1)

Papers

Enhancing Datalog Reasoning with Hypertree Decompositions IJCAI 2023 Computing Optimal Hypertree Decompositions with SAT IJCAI 2021 Fast and Parallel Decomposition of Constraint Satisfaction Problems IJCAI 2020