Date of Award
Master of Science
Dr. Dionysios Kountanis
Dr. Dalia Motzkin
Masters Thesis-Open Access
An ever increasing number of processors are becoming available to the multiprocessor user. For faster response and efficient utilization of parallel processing systems it is necessary to develop parallel algorithms to solve a single problem.
This paper evaluates the complexity of resolution algorithms run in a parallel processing environment. An overview of parallel processing is presented along with a discussion of general resolution and resolution-refutation systems. An analysis of the complexity required by different control strategies to perform resolution programing is presented using both uniprocessor and multiprocessor systems.
Hencken, Paula Beth Brandman, "Resolution Algorithms in a Parallel Processing Environment" (1984). Master's Theses. 1493.