I-SATCHMO: An improvement of SATCHMO

DOI10.1023/A:1017594402123MaRDI QIDQ5956123zbMATH OpenOpenAlexFDO

Authors Lifeng He

Publication date 22 July 2002

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1017594402123

zbMATH Keywords

SATCHMO

Mathematics Subject Classification ID

Recommendations

• R-SATCHMO: Refinements on I-SATCHMO
• Efficient model generation through compilation
• \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE
• Eliminating redundant search space on backtracking for forward chaining theorem proving
• scientific article; zbMATH DE number 4094866

Cited in

(8)

• Efficient model generation through compilation.
• Eliminating redundant search space on backtracking for forward chaining theorem proving
• \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE
• I-SATCHMO
• R-SATCHMO: Refinements on I-SATCHMO
• Efficient model generation through compilation
• scientific article; zbMATH DE number 1929148 (Why is no real title available?)
• SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

Describes a project that uses

Uses Software

• SATCHMO

This page was built for publication: I-SATCHMO: An improvement of SATCHMO

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