Khamisyan, Artur, 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