Parallel Problem Solving
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- An execution model for exploiting AND-parallelism in logic programsNew Generation Computing, 1988
- Parallel depth first search. Part II. AnalysisInternational Journal of Parallel Programming, 1987
- Efficient management of backtracking in AND-ParallelismLecture Notes in Computer Science, 1986
- AND parallelism and nondeterminism in logic programsNew Generation Computing, 1985
- A general class of resource tradeoffsJournal of Computer and System Sciences, 1982
- A Hole in Goal Trees: Some Guidance from Resolution TheoryIEEE Transactions on Computers, 1976
- Generalized and/or graphsArtificial Intelligence, 1976
- Linear resolution with selection functionArtificial Intelligence, 1972
- Symbolic integrationCommunications of the ACM, 1971
- A Heuristic Program that Solves Symbolic Integration Problems in Freshman CalculusJournal of the ACM, 1963