SOME RESULTS AND EXPERIMENTS IN PROGRAMMING TECHNIQUES FOR PROPOSITIONAL LOGIC

被引：48

作者：

BLAIR, CE

JEROSLOW, RG

LOWE, JK

机构：

[1] GEORGIA INST TECHNOL, COLL MANAGEMENT, ATLANTA, GA 30332 USA

[2] UNIV ILLINOIS, DEPT BUSINESS ADM, CHAMPAIGN, IL 61820 USA

[3] GEORGIA INST TECHNOL, SCH IND & SYST ENGN, ATLANTA, GA 30332 USA

[4] ANC, LMDC, MONTGOMERY, AL 36112 USA

来源：

COMPUTERS & OPERATIONS RESEARCH | 1986年 / 13卷 / 05期

关键词：

D O I：

10.1016/0305-0548(86)90056-0

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

引用

页码：633 / 645

页数：13

共 18 条

[1]

[Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

[2] A COMPUTING PROCEDURE FOR QUANTIFICATION THEORY [J].

DAVIS, M ;

PUTNAM, H .

JOURNAL OF THE ACM, 1960, 7 (03) :201-215

[3] PRODUCTION RULES AS A REPRESENTATION FOR A KNOWLEDGE-BASED CONSULTATION PROGRAM [J].

DAVIS, R ;

BUCHANAN, B ;

SHORTLIFFE, E .

ARTIFICIAL INTELLIGENCE, 1977, 8 (01) :15-45

[4]

DAVIS R, 1982, KNOWLEDGE BASED SYST

[5] PROBABILISTIC ANALYSIS OF THE DAVIS PUTNAM PROCEDURE FOR SOLVING THE SATISFIABILITY PROBLEM [J].

FRANCO, J ;

PAULL, M .

DISCRETE APPLIED MATHEMATICS, 1983, 5 (01) :77-87

[6]

Franco J., 1984, Annals of Operations Research, V1, P273, DOI 10.1007/BF01874393

[7]

Garey MR., 1979, COMPUTERS INTRACTABI

[8]

Garfinkel R. S., 1972, INTEGER PROGRAMMING

[9]

Karp R. M., 1972, COMPLEXITY COMPUTER, P85

[10]

LAND AH, 1973, FORTRAN CODES MATH P

← 1 2 →