总结：SAT 求解器作为 EDA 关键引擎起到重要的作用，这方面的重要进展目前是混合求解的方法取得突破。谢谢大家。

• 我国科学家建立拓展型麦克斯韦方程组 可应用于雷达航空航天等领域 1月13日下午|中国科学院发布两项重大原创成果
• 蔡少芬晒大片庆祝与张晋结婚14年 网友：郎才女貌，氛围感满满
• 高瀚宇晒与张晋蔡少芬合照 三人头戴老虎帽年味十足
• 中科院国家天文台李菂研究员在发布会上介绍FAST最新科研成果。|中国天眼收获测量星际磁场、发现快速射电暴等重要成果
• 中科院空间应用工程与技术中心研究员张伟。|宇宙是什么？怎样用二氧化碳制造淀粉？中科院打造“跨年科普盛宴”
• 转化|中国科学院原副院长杨柏龄：科技成果转化，技术是创新源头，企业是发展主体
• 完成单位：中国科学院地质与地球物理研究所等月球上的岩浆活动何时停止？曾经的岩浆活动如何维...|嫦娥五号月球样品研究揭示月球演化奥秘 | 亮点成果
• 推进“青海冷湖国际一流天文观测基地”建设发布会在中国科学院国家天文台举行|观星好去处！青海冷湖将建国际一流天文观测基地
• 信息安全|将挖洞当作爱好和职业的笑与泪：微软漏洞研究员的自白
• 蔡少芬晒与孙俪合照 调侃“后宫两大boss再聚首”