Pages that link to "Item:Q3502705"
From MaRDI portal
The following pages link to A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (Q3502705):
Displaying 5 items.
- Backdoors into heterogeneous classes of SAT and CSP (Q730498) (← links)
- Backdoors for linear temporal logic (Q1725638) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- On Some Aspects of Mixed Horn Formulas (Q3637161) (← links)
- Solving <i>d-</i>SAT via Backdoors to Small Treewidth (Q5363089) (← links)