Fast and Exact is Doable: Polynomial Algorithms in Test and Verification | IEEE Conference Publication | IEEE Xplore