Parallel unit resolution

MaRDI QIDQ3370865zbMATH OpenFDO

Authors Shifen Xia, Shuxia Ma, Yang Xu

Publication date 21 February 2006

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 1748587
• PARTHENON: A parallel theorem prover for non-horn clauses
• scientific article; zbMATH DE number 4039343
• scientific article; zbMATH DE number 2059741
• On resolution with short clauses

Cited in

(3)

• scientific article; zbMATH DE number 2059741 (Why is no real title available?)
• scientific article; zbMATH DE number 1748587 (Why is no real title available?)
• scientific article; zbMATH DE number 4039343 (Why is no real title available?)

This page was built for publication: Parallel unit resolution

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