Juba, B. and Meel, K.S. 2026. The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques. Proceedings of the AAAI Conference on Artificial Intelligence. 40, 17 (Mar. 2026), 14261–14268. DOI:https://doi.org/10.1609/aaai.v40i17.38440.