research
∙
06/18/2021
Boolean Matrix Factorization with SAT and MaxSAT
The Boolean matrix factorization problem consists in approximating a mat...
research
∙
01/31/2013