LTUR - A SIMPLIFIED LINEAR-TIME UNIT RESOLUTION ALGORITHM FOR HORN FORMULAS AND COMPUTER IMPLEMENTATION

被引：79

作者：

MINOUX, M ^{[1
]}

机构：

[1] UNIV PARIS 06, LAB MASI, 4 PL JUSSIEU, F-75005 PARIS, FRANCE

来源：

关键词：

D O I：

10.1016/0020-0190(88)90124-X

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：1 / 12

页数：12

共 13 条

[1]

Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st

[2]

COOK S, 1971, 3RD P ACM S THEOR CO, P158

[3]

Even S., 1976, SIAM Journal on Computing, V5, P691, DOI 10.1137/0205048

[4] HORNLOG - A GRAPH-BASED INTERPRETER FOR GENERAL HORN CLAUSES [J].

GALLIER, JH ;

RAATZ, S .

JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (02) :119-155

[5]

GALLO G, 1987, ALGORITHMS TESTING S

[6]

ITAI A, 1982, 243 ISR I TECH DEP C

[7]

Karp R. M., 1972, COMPLEXITY COMPUTER

[8]

MINOUX M, 1987, IN PRESS INT S PSEU

[9]

MINOUX M, 1986, IN PRESS GRAPHES ALG

[10]

MINOUX M, 1986, COMMUNICATIONS MAY