Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.
Hugo BarrosSérgio Vale Aguiar CamposMark A. J. SongLuis Enrique ZáratePublished in: ECBS (2007)
Keyphrases
- learning algorithm
- detection algorithm
- objective function
- optimal solution
- preprocessing
- search space
- cost function
- dynamic programming
- worst case
- matching algorithm
- probabilistic model
- simulated annealing
- particle swarm optimization
- optimization algorithm
- bounded model checking
- segmentation algorithm
- k means
- computational complexity
- similarity measure