不可满足子式研究
《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷:
8
期数:
2013年第6期
页码:
497-504
栏目:
学术论文—智能系统
出版日期:
2013-12-25
- Title:
- Research in unsatisfiable subformula
- 文献标志码:
- A
更新日期/Last Update:
2014-06-16