C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
VERIFAS: A Practical Verifier for Artifact Systems.
Yuliang Li
Alin Deutsch
Victor Vianu
Published in:
Proc. VLDB Endow. (2017)
Keyphrases
</>
distributed systems
complex systems
building blocks
image processing
practical application
computer systems
management system
systems require
neural network
computing systems
intelligent systems
special case
multi agent systems
search algorithm
optimal solution
decision trees
information systems
machine learning