Correspondence-based analogies for choosing problem representations | IEEE Conference Publication | IEEE Xplore