Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. - Hugo Barros; Sérgio Vale Aguiar Campos; Mark A. J. Song; Luis E. Zárate (ECBS, 2007)