A Recommendation System for Preconditioned Iterative Solvers.

Thomas George Anshul Gupta Vivek Sarin

Published in: ICDM (2008)

Keyphrases

iterative methods
collaborative filtering
data driven
learning algorithm
orders of magnitude
sat solvers
constraint solver
quantified boolean formulas