R-SATCHMO: Refinements on I-SATCHMO

DOI10.1093/logcom/14.2.117zbMath1104.68099OpenAlexW2038399467MaRDI QIDQ4820462

Hidenori Itoh, Lifeng He, Yuyan Chao

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

theorem provingtableaubackjumpingforward chainingmodel generationnogood reasoning

Mathematics Subject Classification ID

Related Items (1)

R-SATCHMO

Uses Software

• I-SATCHMO
• SATCHMOREBID

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