Pages that link to "Item:Q2843323"
From MaRDI portal
The following pages link to Strong Backdoors to Nested Satisfiability (Q2843323):
Displaying 6 items.
- Backdoors into heterogeneous classes of SAT and CSP (Q730498) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Strong Backdoors for Default Logic (Q2818000) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- Solving <i>d-</i>SAT via Backdoors to Small Treewidth (Q5363089) (← links)
- (Q6168493) (← links)