SOLVING SATISFIABILITY IN LESS THAN 2N STEPS

被引：145

作者：

MONIEN, B

SPECKENMEYER, E

机构：

[1] Univ Paderborn, Fachbereich, Mathematik & Informatik,, Paderborn, West Ger, Univ Paderborn, Fachbereich Mathematik & Informatik, Paderborn, West Ger

来源：

DISCRETE APPLIED MATHEMATICS | 1985年 / 10卷 / 03期

关键词：

BOOLEAN FORMULAS - CONJUNCTIVE NORMAL FORM - SATISFIABILITY;

D O I：

10.1016/0166-218X(85)90050-2

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：287 / 295

页数：9