Parallelization of quantifier elimination on workstation network
| Author(s) : | Hoon Hong, |
| Publisher : | N/A |
| Publication Date : | 1991 |
| ISSN : | N/A |
| Abstract : | This paper reports our effort to parallelize on a network of workstations the quantifier elimination algorithm over the reals which was devised by Collins and improved by the author. The preliminary experiments show both sub-linear and super-linear speedups due to speculative parallelism. On the problems we have tested so far, the efficiencies range between 70% and 320%. 1, |