Login / Signup
Performance comparisons of geometric multigrid solvers and balancing domain decomposition solvers.
Hongjie Zheng
Ryuji Shioya
Hiroshi Kawai
Sebastian Reiter
Gabriel Wittum
Published in:
Comput. Vis. Sci. (2020)
Keyphrases
</>
sat solvers
sat solving
domain specific
domain independent
multiscale
quantified boolean formulas
image analysis
high order
computationally expensive
computationally hard problems
computer vision
eigenvalue problems
highly optimized
search heuristics
search space
optimal solution
image segmentation
case study