Differential evolutionary approach guided by the Functional Constraint Network to solve program synthesis problem | IEEE Conference Publication | IEEE Xplore