A SAT-based algorithm for reparameterization in symbolic simulation.
Pankaj ChauhanEdmund M. ClarkeDaniel KroeningPublished in: DAC (2004)
Keyphrases
- optimization algorithm
- computational complexity
- detection algorithm
- k means
- recognition algorithm
- theoretical analysis
- segmentation algorithm
- dynamic programming
- np hard
- search space
- learning algorithm
- optimal solution
- similarity measure
- version space
- estimation algorithm
- convergence rate
- mathematical model
- linear programming
- simulated annealing
- worst case
- computational cost
- experimental evaluation
- significant improvement
- preprocessing
- particle swarm optimization
- high accuracy
- convex hull
- cost function
- symbolic representation