SAT-based group method for verification of logical descriptions with functional indeterminacy.
Liudmila D. CheremisinovaDmitry Ya. NovikovPublished in: EWDTS (2010)
Keyphrases
- high precision
- experimental evaluation
- preprocessing
- clustering method
- objective function
- synthetic data
- detection method
- method for automatically generating
- computational complexity
- significant improvement
- neural network
- cost function
- segmentation method
- support vector machine
- dynamic programming
- prior knowledge
- pairwise
- support vector
- genetic algorithm