SEARCH Articles Figures Tables Algorithm strategy Algorithm synthesis Algorithmic synthesis Logic algorithm Stepwise Stepwise synthesis Strategy, stepwise Synthesis strategies