Login / Signup
Boolean functional synthesis: hardness and practical algorithms.
S. Akshay
Supratik Chakraborty
Shubham Goel
Sumith Kulal
Shetal Shah
Published in:
Formal Methods Syst. Des. (2021)
Keyphrases
</>
optimization problems
learning algorithm
recently developed
computational complexity
orders of magnitude
significant improvement
real time
worst case
noise tolerant
practical problems
times faster
theoretical analysis
markov random field
face recognition
image segmentation
machine learning
real world