Non-elementary complexities for branching VASS, MELL, and extensions.

Ranko Lazic Sylvain Schmitz

Published in: CSL-LICS (2014)

Keyphrases

branch and bound
image processing
default logic
information retrieval
search tree
data sets
neural network
real world
genetic algorithm
artificial intelligence
metadata
computational complexity