Experience with Or-parallelism of connection graphs

Authors:
R. Loganantharaj;Ay-Hwa Liou
Affiliations:
Center for Advanced Computer Studies, USL, P.O. Box 44330, Lafayette, LA;Center for Advanced Computer Studies, USL, P.O. Box 44330, Lafayette, LA
Venue:
CSC '91 Proceedings of the 19th annual conference on Computer Science
Year:
1991

Logic for problem-solving

Logic for problem-solving
Parallel theorem proving with correction graphs

Proc. of the 8th international conference on Automated deduction
DC parallelism of connection graph

ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Automated reasoning: 33 BASIC research problems

Automated reasoning: 33 BASIC research problems
Parallel deduction of connection graphs

Advances in logic programming and automated reasoning, volume 1
A Proof Procedure Using Connection Graphs

Journal of the ACM (JACM)
Portable Programs for Parallel Processors

Portable Programs for Parallel Processors

Hi-index	0.00