Cite item

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

Citation Format   ABNT APA BibTeX CBE EndNote - EndNote format (Macintosh & Windows) GOST MLA ProCite - RIS format (Macintosh & Windows) RefWorks Reference Manager - RIS format (Windows only) Turabian Vancouver

Vyalyi M.N. Testing the satisfiability of algebraic formulas over the field of two elements // Problemy peredači informacii. - 2023. - Vol. 59. - N. 1. - P. 64-70. doi: 10.31857/S0555292323010059