Boolean verification with fastest LIA transforms | IEEE Conference Publication | IEEE Xplore