A randomized diversification strategy for solving satisfiability problem with long clauses
Crossref DOI link: https://doi.org/10.1007/s11432-016-0258-4
Published Online: 2017-05-11
Published Print: 2017-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gao, Jian
Li, Ruizhi
Yin, Minghao
License valid from 2017-05-11
