Foundations of Satisfiability Modulo Theories

被引：4
|
作者：
Tinelli, Cesare [1 ]
机构：
[1] Univ Iowa, Dept Comp Sci, Iowa City, IA 52242 USA
来源：
LOGIC, LANGUAGE, INFORMATION AND COMPUTATION | 2010年 / 6188卷
关键词：
D O I：
10.1007/978-3-642-13824-9_6
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：58 / 58
页数：1
相关论文
共 50 条
  • [41] Local Search For Satisfiability Modulo Integer Arithmetic Theories
    Cai, Shaowei
    Li, Bohan
    Zhang, Xindi
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (04)
  • [42] 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
  • [43] Planning for hybrid systems via satisfiability modulo theories
    Cashmore M.
    Magazzeni D.
    Zehtabi P.
    Journal of Artificial Intelligence Research, 2020, 67 : 235 - 283
  • [44] 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
  • [45] 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,
  • [46] Fuzzy answer set computation via satisfiability modulo theories
    Alviano, Mario
    Penaloza, Rafael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 588 - 603
  • [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] 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
  • [49] Interactive Product Configurator Based on Satisfiability Modulo Theories Solver
    Burneika, L.
    MECHANIKA 2009 - PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE, 2009, : 69 - 75
  • [50] 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 - +
12345