IEEE - Institute of Electrical and Electronics Engineers, Inc. - Design of a parallel theorem prover for first order logic

Author(s): Chen, W.-T. ; Chou, T.-R. ; Hsieh, K.-R. ; Liu, H.-J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1991
Conference Location: Tokyo, Japan
Conference Date: 11 September 1991
Page(s): 275 - 280
ISBN (Paper): 0-8186-2152-4
DOI: 10.1109/CMPSAC.1991.170189
Regular:

The design of a parallel theorem prover for first-order logic is described. The parallel theorem algorithm is based on the divide-and-conquer strategy. The concept of restricted substitution is... View More

Advertisement