Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.

Takumi Shimoda Naoki Kobayashi Ken Sakayori Ryosuke Sato

Published in: CoRR (2021)

Keyphrases

high level
data driven
semi automatic
database
databases
neural network
information retrieval
learning algorithm
database systems
reinforcement learning
search algorithm
symbolic representation