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 |