一篇关于求解极小SMT不可满足子式的宽度优先搜索算法的论文《求解极小SMT不可满足子式的宽度优先搜索算法j》