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 条
  • [21] On Interpolation in Decision Procedures
    Bonacina, Maria Paola
    Johansson, Moa
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 2011, 6793 : 1 - 16
  • [22] SGGS Decision Procedures
    Bonacina, Maria Paola
    Winkler, Sarah
    AUTOMATED REASONING, PT I, 2020, 12166 : 356 - 374
  • [23] INVARIANT DECISION PROCEDURES
    KLIMOV, GP
    KUZMIN, AD
    TEORIYA VEROYATNOSTEI I YEYE PRIMENIYA, 1975, 20 (02): : 309 - 331
  • [24] Safraless decision procedures
    Kupferman, O
    Vardi, MY
    46TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2005, : 531 - 540
  • [25] ON SEQUENTIAL DECISION PROCEDURES
    SUZUKI, Y
    BULLETIN OF THE INTERNATIONAL STATISTICAL INSTITUTE, 1960, 38 (04): : 201 - 205
  • [26] Inaccessibility in decision procedures
    Saito, A
    Kaneko, K
    UNCONVENTIONAL MODELS OF COMPUTATION UMC' 2K, PROCEEDINGS, 2001, : 215 - 233
  • [27] Combining procedures under general anesthesia
    Stapleton, Mark
    Sheller, Barbara
    Williams, Bryan J.
    Mand, Lloyd
    PEDIATRIC DENTISTRY, 2007, 29 (05) : 397 - 402
  • [28] Combining different procedures for adaptive regression
    Yang, Y
    JOURNAL OF MULTIVARIATE ANALYSIS, 2000, 74 (01) : 135 - 161
  • [29] Combining laser resurfacing and ancillary procedures
    Goodman, GJ
    DERMATOLOGIC SURGERY, 1998, 24 (01) : 75 - 78
  • [30] Painless Programming Combining Reduction and Search Design Principles for Embedding Decision Procedures in High-Level Languages
    Sheard, Tim
    ACM SIGPLAN NOTICES, 2012, 47 (09) : 89 - 101
12345