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

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.