Avellaneda, F., and R. Villemaire. “Undercover Boolean Matrix Factorization With MaxSAT”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 36, no. 4, June 2022, pp. 3672-81, doi:10.1609/aaai.v36i4.20280.