华为：《华为研究》（2022年12月第3期）——软件吞噬一切，开源吞噬软件

在软件理论领域，《在线匹配领域的最新进展》介绍了在线匹配技术的最新学术进展；《面向组合优化的学习增强 算法设计》介绍了在组合优化中运用 AI 技术的新近学术成果；求解器是一类非常重要的工具软件，也是工业软件的核心 基础，《随机游走与适应度函数相结合求解布尔可满足性问题》介绍了随机游走技术在 SAT 求解器算法中的重大突破； 域理论是编程语言及其分析工具最早的数学理论基础，《域理论与交互式计算》是一篇综述文章，详细介绍了域理论自上 世纪六十年代以来的发展历史，以及在编程模型不断演进的过程中，如何被用于刻画交互、并发等行为。