Multi-terminal BDD synthesis and applications.

Published in: FPL (2009)

Keyphrases

program synthesis
databases
special case
boolean functions
texture synthesis
social networks
website
digital libraries
control system
high speed
functional programs