Choosing better variable orderings for CAD

活动信息

  • 开始时间：2023-06-15 20:00:00
  • 活动地点：海山楼A1101
  • 主讲人：夏壁灿

活动简介

p>见附件。</p>

主讲人介绍

夏壁灿，北京大学数学科学学院教授，中国工业与应用数学学会常务理事，中国数学会计算机数学专委会副主任。曾担任北京大学数学科学学院副院长，北京大学数学科学学院信息科学系主任。 研究兴趣包括：符号计算，程序与混成系统验证，自动定理证明。