Login / Signup
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