郑州大学学报（工学版）2023，Vol.44Issue(6)：40-47,8.DOI:10.13705/j.issn.1671-6833.2023.03.013
可满足性问题的结构特征进展综述
A Review of Structural Characteristics of Satisfiability Problems
摘要
关键词
SAT问题/相变/树分解/结构熵/DNA折纸术Key words
satisfiability problems/phase transition/tree decomposition/structural entropy/DNA origami分类
信息技术与安全科学引用本文复制引用
王晓峰,庞立超,莫淳惠,杨易,赵星宇,杨澜..可满足性问题的结构特征进展综述[J].郑州大学学报（工学版）,2023,44(6):40-47,8.基金项目
国家自然科学基金资助项目(62062001) （62062001）
宁夏自然科学基金资助项目(2020AAC03214) （2020AAC03214）
宁夏青年拔尖人才项目(2021) （2021）
