Pages that link to "Item:Q1680270"
From MaRDI portal
The following pages link to SAT-encodings for special treewidth and pathwidth (Q1680270):
Displaying 8 items.
- Parameterized algorithms for book embedding problems (Q2206870) (← links)
- New width parameters for SAT and \#SAT (Q2238644) (← links)
- A SAT Approach to Branchwidth (Q4972153) (← links)
- (Q5009490) (← links)
- (Q5111890) (← links)
- Parameterized Algorithms for Book Embedding Problems (Q5141644) (← links)
- Computing optimal hypertree decompositions with SAT (Q6067037) (← links)
- SAT-boosted tabu search for coloring massive graphs (Q6579769) (← links)