Substitutions into propositional tautologies
Work
Year: 2006
Type: article
Source: Information Processing Letters
Author Jan Krajı́ček
Institution Isaac Newton Institute for Mathematical Sciences
Cites: 15
Cited by: 30
Related to: 10
FWCI: 0.303
Citation percentile (by year/subfield): 54.24
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed