Verification of Hierarchical Artifact Systems.

Alin Deutsch Yuliang Li Victor Vianu

Published in: ACM Trans. Database Syst. (2019)

Keyphrases

management system
data sets
neural network
asynchronous circuits
reinforcement learning
search algorithm
relational databases
distributed systems
computer systems
knowledge based systems
complex systems
coarse to fine