Pages that link to "Item:Q5505573"
From MaRDI portal
The following pages link to Fast Counting with Bounded Treewidth (Q5505573):
Displaying 5 items.
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- Efficient counting of square substrings in a tree (Q2250458) (← links)
- Bounded treewidth as a key to tractability of knowledge representation and reasoning (Q2269134) (← links)
- Counting and Enumeration Problems with Bounded Treewidth (Q3066110) (← links)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (Q5240230) (← links)