scientific article; zbMATH DE number 4180829

MaRDI QIDQ3204066zbMATH OpenFDO

Authors Soumitra Bose, David E. Long, Spiro Michaylov, Edmund Clarke

Publication date 1989

zbMATH Keywords

Loveland's model elimination procedureparallel resolution theorem prover

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Artificial intelligence (68T99)

Recommendations

• PARTHENON: A parallel theorem prover for non-horn clauses
• Partheo: A high-performance parallel theorem prover
• scientific article; zbMATH DE number 4164187
• A parallelized theorem prover for a logic with parallel execution
• A parallel approach for theorem proving in propositional logic
• scientific article; zbMATH DE number 1552517
• scientific article; zbMATH DE number 937366
• Parallelization of a hyper-linking-based theorem prover
• Parallel cooperative propositional theorem proving
• Exploiting parallelism: highly competitive semantic tree theorem prover

Cited in

(19)

• A parallel approach for theorem proving in propositional logic
• PARTHENON: A parallel theorem prover for non-horn clauses
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• SPS-parallelism+SETHEO=SPTHEO
• A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes
• scientific article; zbMATH DE number 4162312 (Why is no real title available?)
• scientific article; zbMATH DE number 4164187 (Why is no real title available?)
• scientific article; zbMATH DE number 3945374 (Why is no real title available?)
• PARTHENON
• scientific article; zbMATH DE number 4047184 (Why is no real title available?)
• scientific article; zbMATH DE number 1552517 (Why is no real title available?)
• scientific article; zbMATH DE number 1926637 (Why is no real title available?)
• Exploiting parallelism: highly competitive semantic tree theorem prover
• A parallelized theorem prover for a logic with parallel execution
• scientific article; zbMATH DE number 970747 (Why is no real title available?)
• Refinements to depth-first iterative-deepening search in automatic theorem proving
• Partheo: A high-performance parallel theorem prover
• An examination of the prolog technology theorem-prover
• An efficient procedure for theorem proving in propositional logic on vector computers

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204066)