Complexity of the Problem of Being Equivalent to Horn Formulas. II
Crossref DOI link: https://doi.org/10.1007/s10469-023-09700-7
Published Online: 2023-04-28
Published Print: 2022-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kogabaev, N. T.
Text and Data Mining valid from 2022-09-01
Version of Record valid from 2022-09-01
Article History
Received: 16 February 2022
Accepted: 29 March 2023
First Online: 28 April 2023