On reducing linearizability to state reachability.

Ahmed Bouajjani Michael Emmi Constantin Enea Jad Hamza

Published in: Inf. Comput. (2018)

Keyphrases

state space
artificial neural networks
databases
neural network
machine learning
face recognition
computational complexity
query language