Polynomial Time and Dependent Types.

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

data sets
computational complexity
database
genetic algorithm
optimal solution
preprocessing
worst case