Fast randomized least-squares solvers can be just as accurate and stable as classical direct solvers.

Ethan N. Epperly Maike Meier Yuji Nakatsukasa

Published in: CoRR (2024)

Keyphrases

image sequences
least squares
sat solvers
numerically stable
high accuracy
case study
sat solving
parameter estimation
database
multiscale
image registration
robust estimation
constraint solver
highly optimized
quantified boolean formulas