<b>Our paper on Program Synthesis as Dependency Quantified Formula Modulo Theory has been accepted to <a href="https://ijcai-21.org/">IJCAI 2021</a>.</b> <br>We show that theory-constrained synthesis can be reduced DQF(T), i.e., to the problem of finding a witness of a dependency quantified formula modulo theory. <br> Joint work with: Subhajit Roy and Kuldeep S. Meel<br>