Algorithms for Boolean Matrix Factorization using Integer Programming and Heuristics. - Christos Kolomvakis; Thomas Bobille; Arnaud Vandaele; Nicolas Gillis (CoRR, 2025)