Work

On the Complexity of Derivation in Propositional Calculus

Year: 1970

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-1-4899-5327-8_25

Author: G. S. Tseitin

Language: English

Topic: Complexity and Algorithms in Graphs

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4245630182

FWCI:

Cites: 1

Cited by: 497

Related to: 10