Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization | IEEE Conference Publication | IEEE Xplore