Jian Gao, Ruizhi Li, Minghao Yin. A randomized diversification strategy for solving satisfiability problem with long clauses. Science in China Series F: Information Sciences, 60(9), 2017. [doi]
@article{GaoLY17-0, title = {A randomized diversification strategy for solving satisfiability problem with long clauses}, author = {Jian Gao and Ruizhi Li and Minghao Yin}, year = {2017}, doi = {10.1007/s11432-016-0258-4}, url = {https://doi.org/10.1007/s11432-016-0258-4}, researchr = {https://researchr.org/publication/GaoLY17-0}, cites = {0}, citedby = {0}, journal = {Science in China Series F: Information Sciences}, volume = {60}, number = {9}, }