Extending enumerative function synthesis via SMT-driven classification | IEEE Conference Publication | IEEE Xplore