Constructive Methods in Program Verification.

Published in: IEEE Trans. Software Eng. (1977)

Keyphrases

preprocessing
artificial intelligence
significant improvement
genetic algorithm
social networks
multiscale
machine learning algorithms
computationally expensive
optimization methods
hybrid method