...- docin.com豆丁网 BDD) 【4】、字级判决图(WorldLevelDecision Diagram,WLDD)13]和泰勒展开图(Taylor ExpansionDiagram,TED)瞄J等。正则判决图方法的有效应用往往受到其描述能 力或是构造复杂性的制约。
基于4个网页-相关网页
泰勒展开图(TaylorExpansionDiagram,TED)【4】的提出,解决了对字级多项式描述能 力不足的问题.文献【4】已经证明对固定变量顺序简化的TED是...
基于2个网页-相关网页