Synthesis Problems for One-Counter Automata.

Antonia Lechner

Published in: RP (2015)

Keyphrases

search engine
problems involving
optimization problems
related problems
learning algorithm
np complete
relational databases
information systems
search space
evolutionary algorithm
special case
hidden markov models
database systems
e learning
pattern matching
decision problems
social networks