可满足实例的归结复杂度
沈 静，梅 丹
Resolution complexity of satisfiability instances
SHEN Jing, MEI Dan
计算机工程与应用 . 2014, (22): 69 -72 . 

京ICP备13024262号-1
Copyright © 《计算机工程与应用》编辑部
技术支持：北京玛格泰克科技发展有限公司
总访问量
今日访问
在线人数