Tseitin's formulas revisited
type: Item
instance of: scholarly article
title: Tseitin's formulas revisited
zbMATH Open document ID: 0754.05065
DOI: 10.1016/0304-3975(92)90356-K
author: J.-D. Fouks
published in: Theoretical Computer Science
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 05C99
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68R10
zbMATH DE Number: 65337
zbMATH Keywords: Tseitin's formulas
zbMATH Keywords: cyclomatic cohesion
zbMATH Keywords: Tseitin's method
zbMATH Keywords: resolution
MaRDI profile type: Publication
cites work: Q5617548
cites work: Many hard examples for resolution
cites work: A Computing Procedure for Quantification Theory
cites work: Meta-resolution: An algorithmic formalisation
cites work: On the complexity of regular resolution and the Davis-Putnam procedure
cites work: The intractability of resolution
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Hard examples for resolution
full work available at URL: 0304-3975(92)90356-k
OpenAlex ID: W2091111068
description: scientific article; zbMATH DE number 65337