Department of Computer Science, Rice University, Houston, TX;
机译:基于BDD的模态逻辑K决策程序
机译:使用基于BDD的约束求解器切片平面图
机译:基于BDD的低功耗DTIG FinFET电路的拓扑优化
机译:优化基于BDD的模态求解器
机译:媒体方式(文本,广播和电视)对创造力,问题解决和回忆的影响的调查:信息处理的观点
机译:基于非线性惯性权重的教与学优化解决全局优化问题
机译:优化基于BDD的模态求解器
机译:使用VETO进行模态测试优化(用于测试优化的虚拟环境)