An optimality result for clause form translation
type: Item
instance of: scholarly article
title: An optimality result for clause form translation
zbMATH Open document ID: 0772.68079
DOI: 10.1016/0747-7171(92)90009-S
author: Thierry Boy de la Tour
published in: Journal of Symbolic Computation
publication date: 1993-01-17T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 97801
zbMATH Keywords: clause form translators
zbMATH Keywords: resolution method
zbMATH Keywords: renamings
zbMATH Keywords: challenge problem
describes a project that uses: FLOTTER
MaRDI profile type: Publication
cites work: Seventy-five problems for testing automatic theorem provers
cites work: A structure-preserving clause form translation
cites work: Q5685059
cites work: Q3336732
cites work: Minimizing the number of clauses by renaming
full work available at URL: 0747-7171(92)90009-s
OpenAlex ID: W1996010294
description: scientific article; zbMATH DE number 97801