F. Avellaneda and R. Villemaire, “Undercover Boolean Matrix Factorization with MaxSAT”, AAAI, vol. 36, no. 4, pp. 3672-3681, Jun. 2022.