可满足性问题的结构特征进展综述.

Autor: 王晓峰, 庞立超, 莫淳惠, 杨 易, 赵星宇, 杨 澜
Zdroj: Journal of Zhengzhou University: Engineering Science; Sep2023, Vol. 44 Issue 5, p40-47, 8p
Databáze: Complementary Index