Lightning Stokes solver.

Pablo D. Brubeck Lloyd N. Trefethen

Published in: CoRR (2021)

Keyphrases

computer vision
website
quantified boolean formulas
artificial intelligence
multimedia
object recognition
support vector machine
least squares
tree search
constraint solving
constraint solver
means ends analysis