New Metrics for Static Variable Ordering in Decision Diagrams.

Radu Siminiceanu Gianfranco Ciardo New Metrics for Static Variable Ordering in Decision Diagrams. 90-104 2006 conf/tacas/2006 TACAS http://dx.doi.org/10.1007/11691372_6 db/conf/tacas/tacas2006.html#SiminiceanuC06