Adaptive variable reordering for symbolic model checking.

Gila Kamhi, Limor Fix

Browse the full ICCAD paper archive.