Conditional Autarkies: Hard Formulas Made Easy.

Ilario Bonacina, Maria Luisa Bonet, Antonina Kolokolova, Massimo Lauria

Browse the full SAT paper archive.