Breaking local symmetries can dramatically reduce the length of propositional refutations. - Shir Ben-Israel; Eli Ben-Sasson; David R. Karger (Electron. Colloquium Comput. Complex., 2010)