R-SATCHMO: Refinements on I-SATCHMO
type: Item
instance of: scholarly article
title: R-SATCHMO: Refinements on I-SATCHMO
zbMATH Open document ID: 1104.68099
author: Lifeng He
author: Yuyan Chao
author: Hidenori Itoh
publication date: 2004-10-15T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 2108052
zbMATH Keywords: theorem proving
zbMATH Keywords: forward chaining
zbMATH Keywords: model generation
zbMATH Keywords: tableau
zbMATH Keywords: backjumping
zbMATH Keywords: nogood reasoning
describes a project that uses: SATCHMOREBID
describes a project that uses: I-SATCHMO
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1093/logcom/14.2.117
OpenAlex ID: W2038399467
DOI: 10.1093/LOGCOM/14.2.117
published in: Journal Of Logic And Computation
description: scientific article; zbMATH DE number 2108052