The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques.

Brendan Juba, Kuldeep S. Meel

Browse the full AAAI paper archive.