<b>Our paper Engineering an Efficient Boolean Functional Synthesis Engine has been accepted to <a href="https://www.iccad.com/index.php">ICCAD 2021</a>.</b> <br> The work addresses scalability barriers faced by the current state-of-the-art synthesis techniques. We propose four algorithmic improvements for a data-driven framework for functional synthesis.<br> Joint work with: Friedrich Slivovsky, Subhajit Roy and Kuldeep S. Meel<br>