THE CLAUSE-DIFFUSION METHODOLOGY FOR DISTRIBUTED DEDUCTION
Maria Paola Bonacina, Jieh Hsiang · Fundamenta Informaticae · 1995
This paper describes a methodology for parallel theorem proving in a distributed environment, called deduction by Clause-Diffusion. This methodology utilizes parallelism at the search level, by having concurrent, asynchronous deductive processes sear