Result: Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements
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