Complexity verification using guided theorem enumeration.

Akhilesh Srikanth Burak Sahin William R. Harris

Published in: POPL (2017)

Keyphrases

computational cost
computer vision
expert systems
databases
information retrieval
decision making
reinforcement learning
special case
worst case
graph theory
face verification