Learning to Order BDD Variables in Verification. - Orna Grumberg; Shlomi Livne; Shaul Markovitch (J. Artif. Intell. Res., 2003)