Sparsified Cholesky and multigrid solvers for connection laplacians.

Rasmus Kyng Yin Tat Lee Richard Peng Sushant Sachdeva Daniel A. Spielman

Published in: STOC (2016)

Keyphrases

image analysis
multiresolution
boundary conditions
multiscale
computationally expensive
flow field
sat solvers
data sets
sat instances
quantified boolean formulas
machine learning
least squares
partial differential equations
shape from shading
sat solving
emission tomography