@article{王钇杰:294, author = {王钇杰, 徐扬, 吴贯锋}, title = {基于学习子句删除策略的SAT求解器分支策略}, publisher = {计算机科学}, year = {2021}, journal = {计算机科学}, volume = {48}, number = {11}, eid = {294}, numpages = {5}, pages = {294}, keywords = {活跃度;学习子句;可满足性问题;学习子句删除策略;完备算法}, url = {https://www.jsjkx.com/CN/abstract/article_20294.shtml}, doi = {10.11896/jsjkx.201000142} }