BriefGPT.xyz
Jan, 2023
显式依赖合成
Synthesis with Explicit Dependencies
HTML
PDF
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
TL;DR
该研究提出一种名为Manthan3的数据驱动的方法,用于解决依赖量化布尔公式中的Henkin合成问题,实现对线路的验证、控制器合成和线路实现等应用方面具有积极的意义。
Abstract
quantified boolean formulas
(QBF) extend propositional logic with quantification $\forall, \exists$. In QBF, an existentially quantified variable is allowed to depend on all universally quantified variables in its scope. Dependency
→