Computer Science Institute, University of Paderborn, Germany;
Computer Science Institute, University of Paderborn, Germany;
机译:将嵌套的布尔函数编码为量化的布尔公式
机译:布尔函数作为量化布尔公式的模型
机译:由随机布尔公式计算的布尔函数或如何增长正确的函数
机译:嵌套布尔函数作为量化布尔公式的模型
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:使用布尔嵌套效应模型分析信号通路中的协同和非协同相互作用
机译:编码嵌套布尔函数作为量化的布尔公式