Academic Journal
View in EDS

Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements

Bibliographic Details
Title: Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements
Authors: Vyalyi, M. N.Aff1, Aff2, Aff3
Source: Problems of Information Transmission. 59(1):57-62
Database: Springer Nature Journals
Description
ISSN:00329460
16083253
DOI:10.1134/s0032946023010052