Sign in

Revisiting Explicit Enumeration for Exact Synthesis.

Gianluca MartinoHeinz RienerGörschwin Fey
Published in: DSD (2020)
Keyphrases
  • search space
  • database
  • similarity measure
  • wide range
  • special case
  • domain knowledge
  • program synthesis