Solving some array synthesis problems by means of an effective hybrid approach