Login / Signup
Engineering an Efficient Boolean Functional Synthesis Engine.
Priyanka Golia
Friedrich Slivovsky
Subhajit Roy
Kuldeep S. Meel
Published in:
CoRR (2021)
Keyphrases
</>
engineering design
software engineering
boolean functions
computer vision
website
real valued
texture synthesis
engineering problems
design space exploration
real time
decision trees
image segmentation
object oriented
design process
program synthesis
functional analysis