Backbones and Backdoors in Satisfiability.

Philip Kilby, John K. Slaney, Sylvie Thibaux, Toby Walsh

Browse the full AAAI paper archive.