I-SATCHMO: An improvement of SATCHMO
From MaRDI portal
Publication:5956123
DOI10.1023/A:1017594402123zbMath0988.68167OpenAlexW1491941524MaRDI QIDQ5956123
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
Related Items
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy, Eliminating redundant search space on backtracking for forward chaining theorem proving, I-SATCHMO
Uses Software
