@article{赵相福_2722, author = {[赵相福, 黄森, 童向荣, 欧阳丹彤, 张立明, 章星林]}, title = {IBWIICC:结合局部独立覆盖检测策略增量求解极小碰集的算法}, publisher = {电子学报}, year = {2022}, journal = {电子学报}, volume = {50}, number = {11}, eid = {2722}, pages = {2722-2729}, keywords = {;基于模型诊断;诊断推理;极小碰集;布尔算法;冲突集;增量方法}, doi = https://www.ejournal.org.cn/CN/10.12263/DZXB.20211356 }