随着VLSI(Very Large Scale Integrated)芯片设计的规模越来越大,功能越来越复杂,在FPGA(Field Programmable Gate Array)上实现或......

解释布尔公式不可满足的原因在众多领域都具有非常重要的理论与应用价值，而不可满足子式能够为公式不可满足的原因提供精确的解释，帮......

解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为......

为了广泛有效地将不可满足子式应用于知识验证、产品规划、硬件和软件的设计与验证等领域，对不可满足子式进行了相关研究．对当前不可......

模态逻辑是逻辑学领域最重要的分支之一。特别是克里普克可能世界语义学的建立,使模态逻辑有了准确可靠的语义模型,促进了模态逻辑......

解释布尔公式不可满足的原因在很多领域都具有实际的应用需求,而最小不可满足子式能够为诸如电路的自动综合等应用领域中的不可满......

随着软硬件设计规模日益增加,功能越来越复杂,功能验证与调试在整个设计周期中占有的比重越来越大,迫切需要高效的方法诊断与定位......

求解布尔不可满足子式在超大规模集成电路设计与验证领域都具有非常重要的理论与应用价值,帮助EDA工具迅速定位错误与不一致。针对......