Integrating Symbolic Techniques in ATPG-Based Sequential Logic Optimization.
Enrique San MillánLuis EntrenaJosé Alberto EspejoSilvia ChiusanoFulvio CornoPublished in: DATE (1999)
Keyphrases
- optimization problems
- global optimization
- logic programming
- optimization algorithm
- data sets
- automated reasoning
- constrained optimization
- optimization process
- optimization methods
- simulated annealing
- decision trees
- website
- symbolic representation
- sequential data
- database
- deontic logic
- asynchronous circuits
- sequential search