Encodings for Enumeration-Based Program Synthesis.

Pedro Orvalho, Miguel Terra-Neves, Miguel Ventura, Ruben Martins, Vasco Manquinho

Browse the full CP paper archive.