Pages that link to "Item:Q1680268"
From MaRDI portal
The following pages link to SAT-based local improvement for finding tree decompositions of small width (Q1680268):
Displaying 5 items.
- Practical access to dynamic programming on tree decompositions (Q2005578) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Practical Access to Dynamic Programming on Tree Decompositions (Q5009563) (← links)
- (Q5009587) (← links)
- An Experimental Study of the Treewidth of Real-World Graph Data (Q5091123) (← links)
