Combining decision procedures

被引：0

作者：

Manna, Z ^{[1
]}

Zarba, CG ^{[1
]}

机构：

[1] Stanford Univ, Stanford, CA 94305 USA

来源：

FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT | 2003年 / 2757卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We give a detailed survey of the current state-of-the-art methods for combining decision procedures. We review the Nelson-Oppen combination method, Shostak method, and some very recent results on the combination of theories over non-disjoint signatures.

引用

页码：381 / 422

页数：42

共 50 条

[11] Combining decision procedures by (model-)equality propagation
de Oliveira, Diego Caminha B.
Deharbe, David
Fontaine, Pascal
SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (04) : 518 - 532
[12] Unification in the union of disjoint equational theories: Combining decision procedures
Baader, F
Schulz, KU
JOURNAL OF SYMBOLIC COMPUTATION, 1996, 21 (02) : 211 - 243
[13] UNIFICATION IN THE UNION OF DISJOINT EQUATIONAL THEORIES - COMBINING DECISION PROCEDURES
BAADER, F
SCHULZ, KU
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 50 - 65
[14] A rewrite rule based pramework for combining decision procedures - Preliminary draft
Kapur, D
FRONTIERS OF COMBINING SYSTEMS, 2002, 2309 : 87 - 102
[15] Symbolic protocol analysis in the union of disjoint intruder theories: Combining decision procedures
Chevalier, Yannick
Rusinowitch, Michael
THEORETICAL COMPUTER SCIENCE, 2010, 411 (10) : 1261 - 1282
[16] DECISION PROCEDURES
GINSBERG, ML
AI MAGAZINE, 1987, 8 (02) : 93 - 93
[17] From Decision Procedures to Synthesis Procedures
Piskac, Ruzica
2015 17TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 3 - 10
[18] A MODEL FOR COMBINING EXAMPLES AND PROCEDURES
REED, SK
ACTOR, C
BULLETIN OF THE PSYCHONOMIC SOCIETY, 1988, 26 (06) : 490 - 490
[19] COMBINING DECISION RULES IN A DECISION TABLE
SHWAYDER, K
COMMUNICATIONS OF THE ACM, 1975, 18 (08) : 476 - 480
[20] Abdominal Contouring and Combining Procedures
Friedman, Tali
Wiser, Itay
CLINICS IN PLASTIC SURGERY, 2019, 46 (01) : 41 - +

← 1 2 3 4 5 →