Satisfiability modulo theories

被引：528
|
作者：
Barrett, Clark
Sebastiani, Roberto
Seshia, Sanjit A.
Tinelli, Cesare
机构：
来源：
Frontiers in Artificial Intelligence and Applications | 2009年 / 185卷 / 01期
关键词：
D O I：
10.3233/978-1-58603-929-5-825
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：825 / 885
相关论文
共 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