Performance analysis of competitive OR-parallel theorem proving
暂无分享,去创建一个
[1] Oliver Vornberger,et al. Superlinear Speedup for Parallel Backtracking , 1987, ICS.
[2] V. Nageshwara Rao,et al. Scalable parallel formulations of depth-first search , 1990 .
[3] Dharma P. Agrawal,et al. Randomized Parallel Algorithms for Prolog Programs and Backtracking Applications , 1987, International Conference on Parallel Processing.
[4] Frank Pfenning. Single Axioms in the Implicational Propositional Calculus , 1988, CADE.
[5] Wolfgang Ertel,et al. Random competition: a simple, but efficient method for parallelizing inference systems , 1990, Forschungsberichte, TU Munich.
[6] Journal of automated reasoning , 1986 .
[7] Johann Schumann,et al. PARTHEO: A High-Performance Parallel Theorem Prover , 1990, CADE.