scientific article; zbMATH DE number 4180829

zbMATH Open0716.68076MaRDI QIDQ3204066FDOQ3204066

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

Publication date: 1989

Title of this publication is not available (Why is that?)

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
• Publication:4896506
• Parallelization of a hyper-linking-based theorem prover
• Parallel cooperative propositional theorem proving
• Exploiting parallelism: highly competitive semantic tree theorem prover

zbMATH Keywords

Loveland's model elimination procedureparallel resolution theorem prover

Mathematics Subject Classification ID

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

Cited In (15)

• An examination of the prolog technology theorem-prover
• Refinements to depth-first iterative-deepening search in automatic theorem proving
• Exploiting parallelism: highly competitive semantic tree theorem prover
• Title not available (Why is that?)
• A Prolog technology theorem prover: A new exposition and implementation in Prolog
• Title not available (Why is that?)
• Title not available (Why is that?)
• PARTHENON
• Title not available (Why is that?)
• Partheo: A high-performance parallel theorem prover
• Title not available (Why is that?)
• PARTHENON: A parallel theorem prover for non-horn clauses
• A parallel approach for theorem proving in propositional logic
• Title not available (Why is that?)
• A parallelized theorem prover for a logic with parallel execution

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)