基于分支回溯的NAE-3SAT问题求解算法 / Solution algorithm for the NAE-3SAT problem based on DPLL
- Resource Type
- Academic Journal
- Source
- 智能系统学报 / CAAI Transactions on Intelligent Systems. 7(6):506-511
- Subject
NAESAT NAE-3SAT 时间复杂性 NAE-3SAT问题上界 变量数目 分支回溯 - Language
- Chinese
- ISSN
- 1673-4785