大卫·利希滕斯坦 平面公式及其用途。 （英语） Zbl 0478.68043号 SIAM J.计算。 11, 329-343 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于4评论引用于233文件 理学硕士： 65年第68季度 算法和问题复杂性分析 68兰特 计算机科学中的图论（包括图形绘制） 2015年3月1日 计算复杂性（包括隐式计算复杂性） 03年10月 经典一阶逻辑 关键词：平面布尔公式;平面节点盖;平面哈密顿电路;几何连通支配集;平面广义地理学;NP-完整性;P-空间完备;组合博弈;平面图 引文：Zbl 0396.05009号;兹伯利0346.05110 PDF格式BibTeX公司 XML格式引用 \textit{D.Lichtenstein}，SIAM J.计算机。11、329--343（1982年；Zbl 0478.68043） 全文： 内政部