R-SATCHMO: Refinements on I-SATCHMO

DOI10.1093/LOGCOM/14.2.117MaRDI QIDQ4820462zbMATH OpenOpenAlexFDO

Authors Lifeng He, Yuyan Chao, Hidenori Itoh

Publication date 15 October 2004

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/14.2.117

zbMATH Keywords

model generationtheorem provingtableauforward chainingbackjumpingnogood reasoning

Mathematics Subject Classification ID

Recommendations

• I-SATCHMO: An improvement of SATCHMO
• scientific article; zbMATH DE number 1929148
• Efficient model generation through compilation
• SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
• A disjunctive positive refinement of model elimination and its application to subsumption deletion

Cited in

(5)

• \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE
• R-SATCHMO
• I-SATCHMO: An improvement of SATCHMO
• 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

• SATCHMOREBID
• I-SATCHMO

This page was built for publication: R-SATCHMO: Refinements on I-SATCHMO

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