Huimin Fu 0002, Shaowei Cai, Guanfeng Wu, Jun Liu, Xin Yang, Yang Xu 0001. Improving two-mode algorithm via probabilistic selection for solving satisfiability problem. Inf. Sci., 653:119751, January 2024. [doi]
@article{FuCWLYX24,
title = {Improving two-mode algorithm via probabilistic selection for solving satisfiability problem},
author = {Huimin Fu 0002 and Shaowei Cai and Guanfeng Wu and Jun Liu and Xin Yang and Yang Xu 0001},
year = {2024},
month = {January},
doi = {10.1016/j.ins.2023.119751},
url = {https://doi.org/10.1016/j.ins.2023.119751},
researchr = {https://researchr.org/publication/FuCWLYX24},
cites = {0},
citedby = {0},
journal = {Inf. Sci.},
volume = {653},
pages = {119751},
}