Preview
Unable to display preview. Download preview PDF.
Literature
Aho A.V., Hopcraft J.E., Ullman J.D., The Design and Analysis of Computer Algorithm. 1976, 535 p.
Garrey M.R., Johnson D.S., A Guide to the Theory of NP-completeness. San Francisco, 1979, 416 p.
Kossovsky N.K., A criterium of polynomial lower bounds of combinational complexity, Lecture Notes in Computer Science. V. 278, 1987, pp.244–245.
Kossovsky N.K., Fundamentals of elementary algorithm theory, (In Russion), 1987, Leningrad University, 152 p.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kossovsky, N.K., Prokhoroff, A.B. (1992). The polynomial complexity of conjunctive normal form satisfiability, when the number of conjunctions and negations is limited. In: Nerode, A., Taitslin, M. (eds) Logical Foundations of Computer Science — Tver '92. LFCS 1992. Lecture Notes in Computer Science, vol 620. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023878
Download citation
DOI: https://doi.org/10.1007/BFb0023878
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55707-4
Online ISBN: 978-3-540-47276-6
eBook Packages: Springer Book Archive