|
MATHEMATICS
Quasipolynomial algorithms for the recognition of the satisfiability and derivability of propositional formulas
M. I. Kanovich Kalininsky State University
Citation:
M. I. Kanovich, “Quasipolynomial algorithms for the recognition of the satisfiability and derivability of propositional formulas”, Dokl. Akad. Nauk SSSR, 290:2 (1986), 281–286
Linking options:
https://www.mathnet.ru/eng/dan8446 https://www.mathnet.ru/eng/dan/v290/i2/p281
|
|