Research output

1. The NP-completeness of the Consistency Problem for Systems of Diophantine Equations over Finite Configurations

   Research output: Contribution to journal › Article › peer-review

2. NP-полнота проблемы совместности систем диофантовых уравнений над конечными конфигурациями

   Research output: Contribution to journal › Article › peer-review

3. Complexity of the Problem of ∀-Representation for Sentences

   Research output: Contribution to journal › Article › peer-review

View all (7) »