The following pages link to Backdoors to q-Horn (Q261394):
Displaying 10 items.
- Backdoor sets of quantified Boolean formulas (Q1040783) (← links)
- Recognition of \(q\)-Horn formulae in linear time (Q1337669) (← links)
- Faster graph bipartization (Q2301359) (← links)
- Backdoors to planning (Q2321271) (← links)
- Strong Backdoors for Default Logic (Q2818000) (← links)
- Backdoors to q-Horn (Q2957872) (← links)
- Tradeoffs in the Complexity of Backdoor Detection (Q3523063) (← links)
- SAT backdoors: depth beats size (Q6152185) (← links)
- Strong backdoors for default logic (Q6570091) (← links)
- Strong backdoors for default logic (Q6610193) (← links)