BLASYS: Approximate Logic Synthesis Using Boolean Matrix Factorization.
Soheil HashemiHokchhay TannSherief RedaPublished in: CoRR (2018)
Keyphrases
- matrix factorization
- logic synthesis
- multi valued
- collaborative filtering
- recommender systems
- low rank
- factorization methods
- nonnegative matrix factorization
- boolean functions
- negative matrix factorization
- missing data
- quantum computing
- factor analysis
- inductive learning
- personalized ranking
- item recommendation
- data sparsity
- heuristic search
- latent factors
- tensor factorization
- stochastic gradient descent
- normal form
- inductive logic programming
- factor matrices
- velocity field
- probabilistic matrix factorization