Boolean and $\mathbb{F}_p$-Matrix Factorization: From Theory to Practice