Functional Approaches to Generating Orderings for Efficient Symbolic Representations.

M. Ray Mercer, Rohit Kapur, Don E. Ross

Browse the full DAC paper archive.