Revisiting Explicit Enumeration for Exact Synthesis.

Gianluca Martino Heinz Riener Görschwin Fey

Published in: DSD (2020)

Keyphrases

search space
database
similarity measure
wide range
special case
domain knowledge
program synthesis