B. Juba and K. S. Meel, “The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques”, AAAI, vol. 40, no. 17, pp. 14261–14268, Mar. 2026.