Automatic reduction of combinatorial filters | IEEE Conference Publication | IEEE Xplore