A Genetic Approach for Conjunction Scheduling in Symbolic Equivalence Checking.
Lun LiMitchell A. ThorntonStephen A. SzygendaPublished in: ISVLSI (2004)
Keyphrases
- data sets
- scheduling problem
- scheduling algorithm
- symbolic description
- parallel machines
- round robin
- parallel processors
- flexible manufacturing systems
- dynamic scheduling
- genetic algorithm
- consistency checking
- preventive maintenance
- minimize total
- symbolic representation
- linkage analysis
- neural network
- neural learning
- connectionist learning
- material handling
- computational grids
- flow control
- real time database systems
- resource constraints
- multi agent