Learning to Order BDD Variables in VerificationOrna Grumberg Shlomi Livne Shaul Markovitch Computer Science Department Technion - Israel Institute of Technology Haifa 32000, Israel Abstract The size and complexity of software and hardware …