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 条
  • [1] COMBINING DECISION PROCEDURES FOR THE REALS
    Avigad, Jeremy
    Friedman, Harvey
    LOGICAL METHODS IN COMPUTER SCIENCE, 2006, 2 (04)
  • [2] Strategies for combining decision procedures
    Conchon, S
    Krstic, S
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 537 - 552
  • [3] Strategies for combining decision procedures
    Conchon, S
    Krstic, S
    THEORETICAL COMPUTER SCIENCE, 2006, 354 (02) : 187 - 210
  • [4] Combining decision procedures for sorted theories
    Tinelli, C
    Zarba, CG
    LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 641 - 653
  • [5] Combining proof-producing decision procedures
    Ranise, Silvio
    Ringeissen, Christophe
    Tran, Duc-Khanh
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2007, 4720 : 237 - +
  • [6] A General Setting for Flexibly Combining and Augmenting Decision Procedures
    Predrag Janičić
    Alan Bundy
    Journal of Automated Reasoning, 2002, 28 : 257 - 305
  • [7] Combining decision procedures for positive theories sharing constructors
    Baader, F
    Tinelli, C
    REWRITING TECHNIQUES AND APPLICATIONS, 2002, 2378 : 352 - 366
  • [8] A generalization of Shostak's method for combining decision procedures
    Barrett, CW
    Dill, DL
    Stump, A
    FRONTIERS OF COMBINING SYSTEMS, 2002, 2309 : 132 - 146
  • [9] Combining Decision Procedures by (Model-) Equality Propagation
    de Oliveira, Diego Caminha B.
    Deharbe, David
    Fontaineb, Pascal
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 240 (113-128) : 113 - 128
  • [10] A general setting for flexibly combining and augmenting decision procedures
    Janicic, P
    Bundy, A
    JOURNAL OF AUTOMATED REASONING, 2002, 28 (03) : 257 - 305
12345