Avellaneda, F.; Villemaire, R. Undercover Boolean Matrix Factorization With MaxSAT. AAAI 2022, 36, 3672-3681.