Engineering an Efficient Boolean Functional Synthesis Engine.

Priyanka Golia Friedrich Slivovsky Subhajit Roy Kuldeep S. Meel

Published in: ICCAD (2021)

Keyphrases

computer science
real valued
data sets
boolean functions
information retrieval
multiscale
software engineering
engineering design
program synthesis
functional analysis
design space exploration
databases
artificial neural networks
human brain
computer aided design
functional properties