Avellaneda, Florent, and Roger Villemaire. 2022. “Undercover Boolean Matrix Factorization With MaxSAT”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (4):3672-81. https://doi.org/10.1609/aaai.v36i4.20280.