Local Backbones.

Ronald de Haan, Iyad A. Kanj, Stefan Szeider

Browse the full SAT paper archive.