conftrace_

hypertree width

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

fixed-parameter tractability (2) constraint satisfaction problem (2) constraint satisfaction (2) structural parameter (1) sat encoding (1) hypergraph invariant (1) elimination ordering (1) linear elimination ordering (1) hypertree decomposition (1) decomposition method (1)

Papers

Computing Optimal Hypertree Decompositions with SAT IJCAI 2021 Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems IJCAI 2020 Threshold Treewidth and Hypertree Width IJCAI 2020