M. I. Kanovich, “Quasipolynomial algorithms for the recognition of the satisfiability and derivability of propositional formulas”, Dokl. Akad. Nauk SSSR, 1986, Volume 290, Number 2,Pages <nobr>281

JOURNALS // Doklady Akademii Nauk // Archive

Dokl. Akad. Nauk SSSR, 1986 Volume 290, Number 2, Pages 281–286 (Mi dan8446)

MATHEMATICS

Quasipolynomial algorithms for the recognition of the satisfiability and derivability of propositional formulas

M. I. Kanovich

Kalininsky State University

UDC: 517.11

Presented: A. N. Kolmogorov
Received: 22.05.1985

Fulltext: PDF file (842 kB)

Bibliographic databases: