THE CLAUSE-DIFFUSION METHODOLOGY FOR DISTRIBUTED DEDUCTION

Publisher Website
Google Scholar
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

This publication has 0 references indexed in Scilit: