科学网

 找回密码
  注册
布尔可满足性问题计算复杂性下限
张志东 2023-11-21 14:07
转发中国科学院金属研究所网页新闻: 我国科学家确定布尔可满足性问题 计算复杂性下限 我国科学家在复杂体系的计算复杂性的研究方面取得重要研究进展。中国科学院金属研究所张志东研究员在计算机领域计算复杂性理论研究方面取得重要进展,确定了 布尔可满足性问题 的计算复杂度下限。论文发表在 Mathematic ...
个人分类: 科普|4363 次阅读|没有评论

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2026-2-25 20:15

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部