Speaker:

徐超 (长沙理工大学)

Time:

• 10:00-11:00 (Time in Beijing)
• February 27, 2023 (Monday)

Venue:

电子科技大学清水河校区四号科研楼A区518

Abstract:

可满足性问题是计算机领域的核心问题之一。实践中常常有些化简规则，即便是多项式时间内能完成，但当检测的时间复杂度超过了平方时间，程序内多次检测访问，仍然耗时严重。为此，针对消除公共字符的化简规则，基于哈希思想，本次给出了一种快速检测的算法，希望与大家共同研讨。

Speaker Bio:

徐超，中南大学博士，长沙理工大学计算机与通信工程学院讲师，主要从事可满足性相关相关问题优化算法研究，目前专注于可满足性相关问题理论算法与求解器应用的相关工作。