Mikhail N. Vyalyi. Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements. Probl. Inf. Transm., 59(1):57-62, January 2023. [doi]
@article{Vyalyi23, title = {Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements}, author = {Mikhail N. Vyalyi}, year = {2023}, month = {January}, doi = {10.1134/S0032946023010052}, url = {https://doi.org/10.1134/S0032946023010052}, researchr = {https://researchr.org/publication/Vyalyi23}, cites = {0}, citedby = {0}, journal = {Probl. Inf. Transm.}, volume = {59}, number = {1}, pages = {57-62}, }