Distributed BMC: A Depth-First Approach to Explore Clause Symmetry.

S. Campos Julio C. V. Neves Luis Enrique Zárate Mark A. J. Song

Published in: ECBS (2009)

Keyphrases

distributed environment
search space
cooperative
distributed systems
symmetry detection
multi agent
search algorithm
search tree
search strategy
mobile agents
distributed data
learning algorithm
fault tolerant
branch and bound
orders of magnitude
lightweight
rotationally symmetric