退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:量化布尔公式的对偶感知演算
Fazekas Katalin; Seidl Martina; Biere Armin;
机译:将嵌套的布尔函数编码为量化的布尔公式
机译:布尔函数作为量化布尔公式的模型
机译:一些对称量化布尔公式的简短证明
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:关于... ...-Bernstein多项式及其在...中的应用
机译:编码嵌套布尔函数作为量化的布尔公式
机译:关于布尔公式的理论:替换,替换和素数公式
机译:量化布尔公式(QBF)求解器
机译:在量化布尔公式求解器中处理满意度和冲突
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。