论文 – 数学科学主页 – 爱荷华大学 电子书下载

原名:Paper – Mathematical Sciences Home Pages – The University of Iowa
作品简介:求解器的不可满足性运行到证明树中，没有出现以下情况
需要进行一系列修改反驳的本地证明转换。……