<b>Our paper on A data-driven approach for Boolean function synthesis has been accepted to CAV-20</b><br> Joint work with: Subhajit Roy and Kuldeep S. Meel