BLASYS: approximate logic synthesis using boolean matrix factorization.
Soheil HashemiHokchhay TannSherief RedaPublished in: DAC (2018)
Keyphrases
- matrix factorization
- logic synthesis
- multi valued
- collaborative filtering
- recommender systems
- low rank
- nonnegative matrix factorization
- missing data
- heuristic search
- data sparsity
- negative matrix factorization
- factor analysis
- quantum computing
- boolean functions
- inductive learning
- stochastic gradient descent
- factorization methods
- face recognition
- normal form
- tensor factorization
- logic circuits
- high speed
- semi supervised
- item recommendation
- probabilistic matrix factorization