Satisfiability and Synthesis Modulo Oracles.

Elizabeth Polgreen, Andrew Reynolds, Sanjit A. Seshia

Browse the full VMCAI paper archive.