Generic Transformations of Predicate Encodings: Constructions and Applications.

Miguel Ambrona Gilles Barthe Benedikt Schmidt

Published in: IACR Cryptol. ePrint Arch. (2016)

Keyphrases

machine learning
data mining
reinforcement learning
first order logic
case study
high level
learning environment
knowledge representation
application specific
website
database systems
relational databases
evolutionary algorithm
domain specific
boolean satisfiability