Increasing efficiency of symbolic model checking by accelerating dynamic variable reordering | IEEE Conference Publication | IEEE Xplore