Parallelization of search-based systems by static partitioning with slackness

@inproceedings{Suttner1995ParallelizationOS,
  title={Parallelization of search-based systems by static partitioning with slackness},
  author={Christian B. Suttner},
  booktitle={DISKI},
  year={1995}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-6 of 6 extracted citations

SPS-Parallelism + SETHEO = SPTHEO

Journal of Automated Reasoning • 1999
View 10 Excerpts

SPTHEO - A Parallel Theorem Prover

Journal of Automated Reasoning • 1997
View 3 Excerpts

Similar Papers

Loading similar papers…