Parallelism in algebraic recursive solvers.
Zhongze LiYousef SaadMasha SosonkinaPublished in: PPSC (2001)
Keyphrases
- parallel computation
- shared memory
- parallel processing
- sat solvers
- website
- higher order
- image processing
- case study
- parallel computing
- linear algebra
- parallel computers
- parallel execution
- recursive algorithm
- recursive queries
- fine grain
- recursive functions
- quantified boolean formulas
- algebraic geometry
- eigenvalue problems