Solving Constrained Horn Clauses over ADTs by Finite Model Finding.

Yurii Kostyukov Dmitry Mordvinov Grigory Fedyukovich

Published in: CoRR (2021)

Keyphrases

management system
general purpose
databases
machine learning
database
learning algorithm
pairwise
data management
horn clauses