An Experiment with Satisfiability Modulo SAT
Crossref DOI link: https://doi.org/10.1007/s10817-015-9354-0
Published Online: 2016-01-06
Published Print: 2016-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Zhang, Hantao
Text and Data Mining valid from 2016-01-06