Quantum algorithm; Synthesizers; Quantum state; Logic gates; Cognition; Quantum circuit; Integrated circuit modeling;
机译:通过符号决策程序进行谓词抽象
机译:使用可满足性作为唯一决策过程的符号模型检查中的抽象优化
机译:DCVS电路的基于决策图的综合过程
机译:通过符号决策程序进行谓词抽象
机译:使用基于SAT的重新参数化和自动抽象提炼对大型工业电路进行验证。
机译:致病性大肠埃希菌中成虫电路开关的温度控制:通过自动模型抽象进行定量分析
机译:通过符号决策程序进行谓词抽象
机译:量子电路的自动设计