Partial cube; Succinct; Embedding; St-Connectivity; Connectivity; Satisfiability;
机译:关于布尔公式的解决方案图的结构
机译:布尔公式和同构的解图
机译:布尔公式和同构的解图
机译:布尔公式解图的结构
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:术后癌症患者的早期肠内喂养。鱼油结构的脂质基聚合物配方相对于标准聚合物配方。
机译:编码嵌套布尔函数作为量化的布尔公式
机译:关于布尔公式的理论:替换,替换和素数公式