Deciding $k$CFA is complete for EXPTIME.

David Van Horn Harry G. Mairson

Published in: CoRR (2013)

Keyphrases

upper bound
description logics
decision problems
optimal solution
pspace complete
neural network
machine learning
xml documents
denoising
pattern matching
first order logic