Login / Signup
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