机译:具有全局模块化约束的CSP:通过多项式表示的算法和硬度
机译:配体约束控制的Pt〜Ⅳ中Csp〜3-Csp〜3与Csp〜2-Csp〜3的排他性消除
机译:钴催化的CSP(3)-CSP(3)用烷基碘的官能化烷基锌试剂的交联偶联
机译:当功能和自由度约束制作CSP多项式时
机译:G型停车函数,跨越树木和TUTTE多项式之间的广义的映射图
机译:poly(i:c)是对非人最新产物的抗体和多功能CD4 + T细胞反应的有效佐剂对疟原虫是恶性疟原虫环孢子蛋白(CSP)和αdec-csp的反应
机译:比较终止证明中多项式约束的CSP和SAT解算器
机译:用一类多项式泛函的近似精度评估量子力学路径积分