SATISFIABILITY IN MANY-VALUED SENTENTIAL LOGIC IS NP-COMPLETE

被引：82

作者：

MUNDICI, D ^{[1
]}

机构：

[1] UNIV FLORENCE,MATH INST ULISSE DINI,I-50134 FLORENCE,ITALY

来源：

关键词：

D O I：

10.1016/0304-3975(87)90083-1

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：145 / 153

页数：9

共 16 条

[1]

[Anonymous], COMPUTER SCI MULTIPL

[2]

[Anonymous], MODERN USES MULTIPLE

BENARI, M ;

HALPERN, JY ;

PNUELI, A .

[4]

Brondsted A., 1983, INTRO CONVEX POLYTOP

Ahlgren, John ;

Yuen, Shiu Yin .

2013, Microtome Publishing (14) :3649-3681

[6]

Garey M. R., 1979, Computers and Intractability: A Guide to the Theory of np-Completeness, DOI DOI 10.1109/TEST.1990.114069

[7]

Ladner R. E., 1977, SIAM Journal on Computing, V6, P467, DOI 10.1137/0206033

[8]

McNaughton R., 1951, J SYMBOLIC LOGIC, V16, P1, DOI [DOI 10.2307/2268660, 10.2307/2268660]

MUNDICI, D .

MUNDICI, D .