Distributed BMC: A Depth-First Approach to Explore Clause Symmetry | IEEE Conference Publication | IEEE Xplore