Tomas Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere. Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). In Carsten Sinz, Uwe Egly, editors, Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Volume 8561 of Lecture Notes in Computer Science, pages 317-332, Springer, 2014. [doi]