Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm

BARROS, H. ; CAMPOS, S. V. A. ; SONG, Mark Alan ; ZARATE, L. . Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. In: 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007, Tucson, AZ, EUA. Proceedings of the 14th IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007.

2007