Backdoors into heterogeneous classes of SAT and CSP
Backdoor sets represent clever reasoning shortcuts through the search space for SAT and CSP. By instantiating the backdoor variables one reduces the given instance to several easy instances that belong to a tractable class.The overall time needed to solve the instance is exponential in the size of t...
| Main Authors: | , , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for the Advancement of Artificial
Intelligence
2014
|