Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm | IEEE Conference Publication | IEEE Xplore