机译:具有多项式识别和SAT测试的已知和新型广义Horn公式
horn Boolean formula; conjunctive normal form; satisfiability; polynomial time; LINEAR-TIME; SATISFIABILITY PROBLEM; ALGORITHM; LOGIC; COMPLEXITY; SENTENCES;
机译:具有多项式识别和SAT测试的已知和新型广义Horn公式
机译:关于傅立叶多项式类的插值公式
机译:一阶公式的可测和不可测类
机译:广义Fibonacci多项式和广义Lucas多项式的卷积公式
机译:特殊图类上的多项式时间识别和优化算法。
机译:在线性和广义线性混合模型中测试多项式协变量效应
机译:具有多项式识别和SAT测试的通用霍恩公式的已知和新类别
机译:分子带系统的转换概率。 ⅩⅥ。部分。具有指数跃迁矩的过渡积分。 partⅡ。广义Laguerre多项式的递推关系及重叠积分的剩余公式