Challenges in satisfiability modulo theories

被引：0
|
作者：
Nieuwenhuis, Robert [1 ]
Oliveras, Albert [1 ]
Rodriguez-Carbonell, Enric [1 ]
Rubio, Albert [1 ]
机构：
[1] Tech Univ Catalonia, Barcelona, Spain
来源：
TERM REWRITING AND APPLICATIONS, PROCEEDINGS | 2007年 / 4533卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Here we give a short overview of the DPLL(T) approach to Satisfiability Modulo Theories (SMT), which is at the basis of current state-of-the-art SMT systems. After that, we provide a documented list of theoretical and practical current challenges related to SMT, including some new ideas to exploit SAT techniques in Constraint Programming.
引用
收藏
页码：2 / +
页数：3
相关论文
共 50 条
  • [41] PSMT: Satisfiability Modulo Theories Meets Probability Distribution
    Jia, Fuqi
    Han, Rui
    Ma, Xutong
    Cui, Baoquan
    Liu, Minghao
    Huang, Pei
    Ma, Feifei
    Zhang, Jian
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1756 - 1760
  • [42] Local Search For Satisfiability Modulo Integer Arithmetic Theories
    Cai, Shaowei
    Li, Bohan
    Zhang, Xindi
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (04)
  • [43] On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving
    Kremer, Gereon
    Abraham, Erika
    England, Matthew
    Davenport, James H.
    2021 23RD INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2021), 2021, : 37 - 39
  • [44] Analog Layout Placement Retargeting using Satisfiability Modulo Theories
    Mohamed, Aya
    Dessouky, Mohamed
    Saif, Sherif M.
    2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
  • [45] Fuzzy answer set computation via satisfiability modulo theories
    Alviano, Mario
    Penaloza, Rafael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 588 - 603
  • [46] Solving quantified verification conditions using satisfiability modulo theories
    Ge, Yeting
    Barrett, Clark
    Tinelli, Cesare
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2009, 55 (1-2) : 101 - 122
  • [47] A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain
    Gao, Yang
    Fraenzle, Martin
    QUANTITATIVE EVALUATION OF SYSTEMS, 2015, 9259 : 295 - 311
  • [48] A DPLL-based calculus for ground satisfiability modulo theories
    Tinelli, C
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 308 - 319
  • [49] Efficient Term-ITE Conversion for Satisfiability Modulo Theories
    Kim, Hyondeuk
    Somenzi, Fabio
    Jin, HoonSang
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2009, PROCEEDINGS, 2009, 5584 : 195 - +
  • [50] Interactive Product Configurator Based on Satisfiability Modulo Theories Solver
    Burneika, L.
    MECHANIKA 2009 - PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE, 2009, : 69 - 75
12345