Summarization of Boolean satisfiability verification
Crossref DOI link: https://doi.org/10.1007/s11767-014-3158-y
Published Online: 2014-06-19
Published Print: 2014-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Qian, Junyan
Wu, Juan
Zhao, Lingzhong
Guo, Yunchuan
Text and Data Mining valid from 2014-06-01