Functional approaches to generating orderings for efficient symbolic representations | IEEE Conference Publication | IEEE Xplore