The Clause-Diffusion Methodology for Distributed Deduction.
Journal
Fundam. Inform.
Journal Volume
24
Journal Issue
1/2
Pages
177-207
Date Issued
1995
Author(s)
Bonacina, Maria Paola
Abstract
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
SDGs
Type
journal article