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 条
  • [31] TSAT++: an Open Platform for Satisfiability Modulo Theories
    Armando, Alessandro
    Castellini, Claudio
    Giunchiglia, Enrico
    Idini, Massimo
    Maratea, Marco
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 125 (03) : 25 - 36
  • [32] Planning for Hybrid Systems via Satisfiability Modulo Theories
    Cashmore, Michael
    Magazzeni, Daniele
    Zehtabi, Parisa
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2020, 67 : 235 - 283
  • [33] An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes
    Shah, Amar
    Mora, Federico
    Seshia, Sanjit A.
    THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, 2024, : 8099 - 8107
  • [34] Preface to the special issue "SI: Satisfiability Modulo Theories"
    Strichman, Ofer
    Kroening, Daniel
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 42 (01) : 1 - 2
  • [35] Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
    Cimatti, Alessandro
    Griggio, Alberto
    Sebastiani, Roberto
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2010, 12 (01)
  • [36] Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories
    Zhang, Jianmin
    Shen, Shengyu
    Zhang, Jun
    Xu, Weixia
    Li, Sikun
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 8 (03) : 693 - 710
  • [37] Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
    Cimatti, Alessandro
    Griggio, Alberto
    Sebastiani, Roberto
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 40 : 701 - 728
  • [38] Preface to the special issue “SI: Satisfiability Modulo Theories”
    Ofer Strichman
    Daniel Kroening
    Formal Methods in System Design, 2013, 42 : 1 - 2
  • [39] Non-Classical Logics in Satisfiability Modulo Theories
    Eisenhofer, Clemens
    Alassaf, Ruba
    Rawson, Michael
    Kovacs, Laura
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023, 14278 : 24 - 36
  • [40] Planning for hybrid systems via satisfiability modulo theories
    Cashmore M.
    Magazzeni D.
    Zehtabi P.
    Journal of Artificial Intelligence Research, 2020, 67 : 235 - 283
12345