Chubaryan, Anahit Artashes, Full Professor of Department of Informatics and Applied Mathematics, Yerevan State University, Armenia
-
Transactions on Engineering and Computing Sciences Vol. 7 No. 1 (2019): Transactions on Machine Learning and Artificial Intelligence - Articles
Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems
Abstract PDF