Pedro Orvalho
About
Publications
Experience
Miguel Terra-Neves
Latest
SQUARES: A SQL Synthesizer Using Query Reverse Engineering, VLDB 2020
Encodings for Enumeration-Based Program Synthesis, CP 2019
Cite
×