Ah actually, https://www.usenix.org/system/files/fast19-zhou.pdf https://www.usenix.org/system/files/fast19-zhou.pdf is probably a better reference (it includes

Ah actually, https://www.usenix.org/system/files/fast19-zhou.pdf https://www.usenix.org/system/files/fast19-zhou.pdf is probably a better reference (it includes the discussion of "bitmatrix normalization", the mentioned process of reducing the number of xors necessary, aside from scheduling and common subexpression elimination). Hope it's potentially helpful :)