Large Systems

Testing the satisfiability of algebraic formulas over the field of two elements

M. N. Vyalyi<sup>abc

a</sup> Federal Research Center "Computer Science and Control" of Russian Academy of Sciences, Moscow
^b HSE University, Moscow
^c Moscow Institute of Physics and Technology (National Research University), Dolgoprudny, Moscow Region

UDC: 621.391 : 519.16

Received: 18.12.2022
Revised: 12.02.2023
Accepted: 13.02.2023

DOI: 10.31857/S0555292323010059