The following pages link to (Q5111886):
Displaying 7 items.
- Using decomposition-parameters for QBF: mind the prefix! (Q2304627) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- Solving projected model counting by utilizing treewidth and its limits (Q2680775) (← links)
- (Q5090465) (← links)
- Grundy Distinguishes Treewidth from Pathwidth (Q5096586) (← links)
- (Q5874480) (← links)
- Default logic and bounded treewidth (Q5918613) (← links)
