A SAT-based algorithm for reparameterization in symbolic simulation.

Pankaj Chauhan Edmund M. Clarke Daniel Kroening

Published 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