Publications

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho (2019). Encodings for Enumeration-Based Program Synthesis. In CP 2019.
PDF Code project DOI