Testing the Satisfiability of Algebraic Formulas over the Field of Two Elements
Crossref DOI link: https://doi.org/10.1134/S0032946023010052
Published Online: 2023-08-28
Published Print: 2023-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Vyalyi, M. N.
Text and Data Mining valid from 2023-01-01
Version of Record valid from 2023-01-01
Article History
Received: 18 December 2022
Revised: 12 February 2023
Accepted: 13 February 2023
First Online: 28 August 2023