@misc{indiciaea04347b8dc24,
  title = {The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques},
  author = {Brendan Juba and Kuldeep S. Meel},
  year = {2025},
  url = {https://arxiv.org/abs/2512.20572},
  note = {Source identifier: 2512.20572}
}