Ruzica Piskac. From Decision Procedures to Synthesis Procedures. In Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. pages 3-10, IEEE, 2015. [doi]
Abstract is missing.