机译:一次性分支程序的逻辑特征
branching programsComputational Complexitylogic;
机译:在Tseitin公式上,只读分支计划和树木宽度
机译:用于读一次分支程序的最佳错误伪分布
机译:用于读一次分支程序的最佳错误伪分布
机译:关于整数乘法在具有多个测试的分支程序中以及在不确定性有限的一次读取分支程序中的复杂性
机译:基于混合整数线性规划的数据逻辑分析实现及其应用。
机译:在克里特岛伊拉克利翁分行希腊心理健康与研究中心的Day医院项目中对精神病患者的流行病学特征进行了五年研究的结果
机译:读取一次令人沮丧的代数支化程序(罗布)和多线性深度三电路之间的分离