汉斯·克莱恩·勃宁;赵西顺 关于量化布尔公式的模型。 （英语） Zbl 1099.68056号 沃尔夫冈·伦斯基（编辑），《逻辑与近似》。纪念迈克尔·里希特65岁生日的文章。柏林：施普林格出版社（ISBN 3-540-22562-5/pbk）。计算机科学课堂讲稿3075，18-32（2004）。 总结：如果对于任何存在量化变量，存在依赖于前面的通用变量的布尔函数，从而用布尔函数替换存在变量，则量化布尔公式为真。我们把一组满意的布尔函数称为模型。本文研究了各类量化布尔公式和各类布尔函数是否存在模型的问题。此外，对于这些类，还显示了模型检查问题的复杂性，即一组布尔函数是否是公式的模型。最后，对于布尔函数类，我们建立了具有这种模型的量化布尔公式的一些特征。例如，粗略地说，任何可满足的量化布尔霍恩公式都可以由单项式满足，反之亦然。关于整个系列，请参见[Zbl 1052.68005号]. 引用于2文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 算法和问题复杂性分析 06E30年 布尔函数 关键词：量化布尔公式;布尔函数;模型检查;复杂性;可满足性 PDF格式BibTeX公司 XML格式引用 \textit｛H.Kleine Büning｝和\textit｛X.Zhao｝，Lect。注释计算。科学。3075、18-32（2004年；Zbl 1099.68056） 全文： 内政部