Juba, Brendan, and Kuldeep S. Meel. “The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 17, Mar. 2026, pp. 14261-8, doi:10.1609/aaai.v40i17.38440.