The following pages link to Neha Lodha (Q1680267):
Displaying 5 items.
- SAT-based local improvement for finding tree decompositions of small width (Q1680268) (← links)
- SAT-encodings for special treewidth and pathwidth (Q1680270) (← links)
- A SAT Approach to Branchwidth (Q2818011) (← links)
- A SAT Approach to Branchwidth (Q4972153) (← links)
- SAT-Encodings for Treecut Width and Treedepth (Q5232758) (← links)
