What's Hard About Boolean Functional Synthesis?

S. Akshay Supratik Chakraborty Shubham Goel Sumith Kulal Shetal Shah

Published in: CAV (1) (2018)

Keyphrases

boolean functions
program synthesis
image processing
database
databases
information retrieval
genetic algorithm
image segmentation
three dimensional
data structure
search algorithm
artificial neural networks
functional analysis