Philips Research Laboratories, Eindhoven, The Netherlands;
机译:蕴涵逻辑的递归布尔公式最小化算法
机译:高效算法,可精确实现两级无危害逻辑的最小化
机译:使用遗传和启发式算法进行Baldwinian学习,以广义Reed-Muller(AND-EXOR)形式进行逻辑综合和不完全指定数据的最小化
机译:遗传算法QCA电路的逻辑最小化
机译:图算法中的参数化和简洁表示:叶子力,具有遗传性质的子图,以及偏见的活动最小化
机译:两种最小化心室起搏的算法之间心室起搏百分比的差异:IDEAL RVP(确定减少不必要的右心室起搏的最佳算法)研究的结果
机译:二级无障碍逻辑最小化的快速启发式精确算法