Andrew Reynolds, Morgan Deters, Viktor Kuncak, Cesare Tinelli, and Clark Barrett. Counterexample guided quantifier instantiation for synthesis in SMT. In Computer-Aided Verification (CAV), 2015.

[ bib ] Back