研究方向
论文发表
学术资源
获奖信息
软件工具
团队成员
对外信息
中文 (简体)
中文 (简体)
English
OR
EDA工程师
负责EDA算法研究，特别是芯片逻辑验证、物理综合优化相关工作
1月 1, 0001
Career
MaxSAT/PBO
最大可满足性问题（MaxSAT）是命题逻辑可满足性问题（SAT）的优化版本，是经典的NP难问题。伪布尔优化问题（PBO）通过引入伪布尔约束，提供了一种更为灵活的表达方式，是一种0-1线性整数规划问题。许多实际问题可以转化为MaxSAT或PBO进行求解，例如规划、调度、软件和硬件验证，以及经典的组合优化问题等。
1月 1, 0001
Project
大模型研究博士后/工程师
负责大模型相关算法，特别是大模型与运筹优化相结合领域的研究与开发
1月 1, 0001
Career
非线性优化
非线性规划（Nonlinear Programming, NLP）是一类优化问题，其目标函数或约束条件中包含非线性关系。与线性规划相比，非线性规划允许更为复杂的函数形式，因而能够描述更广泛的实际问题。针对非线性规划里的两个子问题，二次规划和多重线性规划。我们设计了通用的局部搜索求解器，提出了针对非线性项的算子以及两阶段切换的操作模式。相比于完备的求解器，我们的求解器能够更高效快速地找到优质解。
1月 1, 0001
Project
混合整数规划
混合整数规划（Mixed Integer Planning, MIP），是在满足一些线性约束的限制下，优化一个线性目标函数，其中一些变量要求取整数值，它是运筹学中最基础，应用最广的模型之一，也是经典的NP-Hard问题。MIP求解器在工业生产领域如物流运输，航天调度，芯片设计，生产制造等方面有众多应用，是工业软件中的计算引擎。
1月 1, 0001
Project
软件验证工程师
负责软件验证与测试相关工作
1月 1, 0001
Career
运筹优化在布局布线中的应用
实验室将运筹优化方法引入EDA后端流程，专注于布局和布线（placement & routing）中的应用，力求优化电路物理资源分配，以提升芯片设计的效率和质量。
1月 1, 0001
Project
引用
×
