A Semi-Tensor Product Based All Solutions Boolean Satisfiability Solver
Crossref DOI link: https://doi.org/10.1007/s11390-022-1981-4
Published Online: 2023-05-30
Published Print: 2023-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pan, Hong-Yang
Chu, Zhu-Fei
Text and Data Mining valid from 2023-05-30
Version of Record valid from 2023-05-30
Article History
Received: 1 November 2021
Accepted: 7 December 2022
First Online: 30 May 2023