The following pages link to Backdoors to Acyclic SAT (Q2843262):
Displaying 5 items.
- 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)
