3-SAT问题的编码设计及评估函数值的求解

机译：谐振腔设计中大型特征值问题求解器的比较

机译：用于求解X射线晶体术中的相位检索问题的编码孔径设计

机译：基于评估函数的优化分析最佳进入/退出问题，评估函数由包括跳跃过程在内的变量描述

机译：基于云模型的进化算法求解3-SAT问题

机译：线性复杂度复值特征值求解器，用于基于电磁的高速集成电路分析和设计。

机译：求解枫木中偏微分方程的初始值问题

机译：LS系统的算法分析：求解对数空间中的3-SAT问题（代数系统算法和计算理论）

机译：Brandt多重网格法求解特征值和近特征值问题

机译：设计/制造单强度眼镜片需要在不同的评估点为评估函数分配相同的光学像差值，从而使规格值无效

机译：具有单峰对象罚函数和线性有序盒组的集成电路设计中求解分配问题的过程

机译：解决问题求解思想支持方法，问题解决思想支持系统，控制设备，问题解决思想支持工具以及问题解决思想支持设备