ZDD Boolean Synthesis.

Yi Lin Lucas M. Tabajara Moshe Y. Vardi

Published in: TACAS (1) (2022)

Keyphrases

program synthesis
boolean functions
real valued
binary decision diagrams
complex queries
neural network
information systems
evolutionary algorithm
texture synthesis
service composition
query optimization
real time
data structure
bayesian networks
artificial intelligence
learning algorithm
data sets