Generation of shorter sequences for high resolution error diagnosis using sequential SAT | IEEE Conference Publication | IEEE Xplore