On Minimum Representations of Matched Formulas (Extended Abstract).

Ondrej Cepek Stefan Gurský Petr Kucera

Published in: IJCAI (2017)

Keyphrases

extended abstract
symbolic representation
multiple representations
machine learning
learning algorithm
multiscale
reinforcement learning
data structure
search algorithm
global minimum
distributed representations