×

zbMATH — the first resource for mathematics

Towards feasible solutions of the tautology problem. (English) Zbl 0349.02006

MSC:
03B05 Classical propositional logic
03B25 Decidability of theories and sets of sentences
68Q25 Analysis of algorithms and problem complexity
PDF BibTeX XML Cite
Full Text: DOI