搜索结果: 1-1 共查到“计算数学 可满足性问题”相关记录1条 . 查询时间(0.088 秒)
研究确定布尔可满足性问题计算复杂性下限
布尔 可满足性问题 复杂性下限
2023/12/14
中国科学院金属研究所研究员张志东在计算复杂性理论研究方面取得重要进展，确定了布尔可满足性问题的计算复杂度下限。近日，相关研究成果发表于Mathematics。