Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate. Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. In 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 26-29 March 2007, Tucson, Arizona, USA. pages 531-538, IEEE Computer Society, 2007. [doi]
Abstract is missing.