Existence versus Exploitation: The Opacity of Backbones and Backdoors Under a Weak Assumption

Lane A. Hemaspaandra, David E. Narváez

Backdoors and backbones of Boolean formulas are hidden structural properties. A natural goal, already in part realized, is that solver algorithms seek to obtain substantially bette…