Parallel logical inference on computer systems
Vitaliy P. Kutepov, M. M. Kumachev · Scientific and Technical Information Processing · 2013
Various parallel logical inference algorithms based on the resolution principle are studied. Experimental study was performed on computer systems with shared memory and a cluster. The results we describe show how the architecture and features of computer systems, granularity of parallelism and heuristics influence the efficiency of parallel inference.