Application Driven Variable Reordering and an Example Implementation in Reachability Analysis.

Christoph Meinel, Klaus Schwettmann, Anna Slobodov

Browse the full ASPDAC paper archive.