Encodings for Enumeration-Based Program Synthesis
In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.
In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.