Modeling Asymptotic Complexity Using ACL2.

William D. Young

Published in: ACL2 (2022)

Keyphrases

worst case
computational complexity
decision problems
lower complexity
machine learning
database
data mining
information retrieval
genetic algorithm
information systems
clustering algorithm
data structure
multi agent systems
artificial neural networks
asymptotically optimal
large deviations