Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
hypergraph invariant
hypergraph invariant
1 paper
Explore in graph
Co-occurring keywords
· papers mentioning both
elimination ordering
(1)
linear elimination ordering
(1)
sat encoding
(1)
hypertree width
(1)
hypertree decomposition
(1)
constraint satisfaction
(1)
Papers
Computing Optimal Hypertree Decompositions with SAT
IJCAI 2021
<
1
>