Lauther, 1981. An O (N log N) Algorithm for Boolean Mask Operations, in: . IEEE.. https://doi.org/10.1109/dac.1981.1585410