Undercover Boolean Matrix Factorization with MaxSAT.
Florent AvellanedaRoger VillemairePublished in: AAAI (2022)
Keyphrases
- matrix factorization
- collaborative filtering
- recommender systems
- missing data
- upper bound
- negative matrix factorization
- low rank
- factorization methods
- data sparsity
- nonnegative matrix factorization
- data matrix
- sat solvers
- stochastic gradient descent
- variational bayesian
- factorization method
- factor analysis
- personalized ranking
- probabilistic matrix factorization
- loss function
- item recommendation