潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 基于BDD的模态逻辑决策程序K(K). (英语) Zbl 1184.68466号 J.应用。非类别。日志。 16,第1-2号,169-207(2006).MSC公司:68吨15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Pan}等人,J.Appl。非类别。日志。16,编号1--2,169-207(2006;Zbl 1184.68466) 全文: 内政部
潘国强;莫舍·瓦尔迪。 可满足性求解中的符号技术。 (英语) Zbl 1109.68104号 J.汽车。推理 35,编号1-3,25-50(2005).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Pan}和\textit{M.Y.Vardi},J.Autom。推理35,No.1-3,25-50(2005;Zbl 1109.68104) 全文: 内政部