Pages that link to "Item:Q3502705"

The following pages link to A New Bound for an NP-Hard Subclass of 3-SAT Using Backdoors (Q3502705):

Displayed 4 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)