可满足性问题的精确算法和计算复杂性
陈建二，杨　伟
Satisfiability problem: Exact algorithms and complexity
广州大学学报(自然科学版) . 2023, (5): 41 -51 . 

　 版权所有 © 《广州大学学报(自然科学版)》编辑部
地址：广州市番禺大学城外环西路230号　 邮编：510006
电话：(020)39366067　
E-mail：journal@gzhu.edu.cn
本系统由北京玛格泰克科技发展有限公司设计开发