A New SAT-Based Algorithm for Symbolic Trajectory Evaluation.
Jan-Willem RoordaKoen ClaessenPublished in: CHARME (2005)
Keyphrases
- learning algorithm
- times faster
- preprocessing
- cost function
- experimental evaluation
- detection algorithm
- optimization algorithm
- k means
- significant improvement
- dynamic programming
- high accuracy
- similarity measure
- randomly generated
- segmentation algorithm
- particle swarm optimization
- worst case
- objective function
- expectation maximization
- theoretical analysis
- probabilistic model
- optimal solution
- search strategy
- constraint propagation