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