BDD-Based Boolean Functional Synthesis.

Dror Fried Lucas M. Tabajara Moshe Y. Vardi

Published in: CAV (2) (2016)

Keyphrases

boolean functions
real valued
program synthesis
functional analysis
data sets
binary decision diagrams
breadth first search
functional properties
database
clustering algorithm
expert systems
boolean queries
boolean logic