Author Details
Vyalyi, M. N
| Issue | Section | Title | File |
| Vol 60, No 3 (2024) | Large Systems | Regular Realizability Problems for Descriptions of Finite Relations | |
| Vol 59, No 1 (2023) | Articles | Testing the satisfiability of algebraic formulas over the field of two elements |