Academic Journal
Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements
| Τίτλος: | Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements |
|---|---|
| Συγγραφείς: | Vyalyi, M. N.Aff1, Aff2, Aff3 |
| Πηγή: | Problems of Information Transmission. 59(1):57-62 |
| Βάση Δεδομένων: | Springer Nature Journals |
| ISSN: | 00329460 16083253 |
|---|---|
| DOI: | 10.1134/s0032946023010052 |