机译:使用量化布尔公式在抽象辩证框架中进行推理
Institute of Information Systems, Vienna University of Technology, Favoritenstrasse 9-11, Vienna, Austria;
Institute of Information Systems, Vienna University of Technology, Favoritenstrasse 9-11, Vienna, Austria;
Institute of Information Systems, Vienna University of Technology, Favoritenstrasse 9-11, Vienna, Austria;
abstract dialectical frameworks; quantified Boolean formulas; computational complexity; encodings;
机译:使用量化布尔公式在抽象辩证框架中进行推理
机译:将嵌套的布尔函数编码为量化的布尔公式
机译:布尔函数作为量化布尔公式的模型
机译:使用量化布尔公式的抽象辩证框架推理
机译:与布尔程序和量化布尔公式的PSPACE推理能力相关。
机译:矩阵推理项目库(MaRs-IB):面向青少年和成人的新颖开放式抽象推理项目
机译:布尔程序与量化布尔公式的命题PSPACE推理
机译:关于布尔公式的理论:替换,替换和素数公式