Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask).

Toms Balyo, Andreas Frhlich, Marijn Heule, Armin Biere

Browse the full SAT paper archive.