The following pages link to Backdoors to Acyclic SAT (Q2843262):
Displaying 8 items.
- Backdoors into heterogeneous classes of SAT and CSP (Q730498) (← links)
- ALIAS: a modular tool for finding backdoors for SAT (Q1656599) (← links)
- Backdoors to planning (Q2321271) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Complexity and approximability of parameterized MAX-CSPs (Q2408203) (← links)
- Backdoors to Satisfaction (Q2908542) (← links)
- Solving <i>d-</i>SAT via Backdoors to Small Treewidth (Q5363089) (← links)
- (Q6168493) (← links)