SEARCH Articles Figures Tables Heuristic synthesis Heuristics Synthesis examples Synthesis from examples