Factored boolean functional synthesis.

Lucas M. Tabajara Moshe Y. Vardi

Published in: FMCAD (2017)

Keyphrases

boolean functions
state space
real valued
neural network
functional properties
data sets
artificial neural networks
probabilistic model