Boolean Matrix Factorization with SAT and MaxSAT

Re-assign community