What's hard about Boolean Functional Synthesis.

S. Akshay Supratik Chakraborty Shubham Goel Sumith Kulal Shetal Shah

Published in: CoRR (2018)

Keyphrases

boolean functions
real valued
program synthesis
neural network
databases
decision making
image processing
clustering algorithm
search algorithm
expert systems
special case
multi valued
functional verification