The CAD Conundrum: Lex-Least vs Order | IEEE Conference Publication | IEEE Xplore