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 条
  • [1] From propositional satisfiability to satisfiability modulo theories
    Sheini, Hossein M.
    Sakallah, Karem A.
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, 2006, 4121 : 1 - 9
  • [2] A framework for Satisfiability Modulo Theories
    Kroening, Daniel
    Strichman, Ofer
    FORMAL ASPECTS OF COMPUTING, 2009, 21 (05) : 485 - 494
  • [3] Challenges in satisfiability modulo theories
    Nieuwenhuis, Robert
    Oliveras, Albert
    Rodriguez-Carbonell, Enric
    Rubio, Albert
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 2 - +
  • [4] Satisfiability Modulo Theories: An Appetizer
    de Moura, Leonardo
    Bjorner, Nikolaj
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 23 - 36
  • [5] Satisfiability Modulo Theories and Assignments
    Bonacina, Maria Paola
    Graham-Lengrand, Stephane
    Shankar, Natarajan
    AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 42 - 59
  • [6] Foundations of Satisfiability Modulo Theories
    Tinelli, Cesare
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2010, 6188 : 58 - 58
  • [7] An Instantiation Scheme for Satisfiability Modulo Theories
    Echenim, Mnacho
    Peltier, Nicolas
    JOURNAL OF AUTOMATED REASONING, 2012, 48 (03) : 293 - 362
  • [8] Motion Planning with Satisfiability Modulo Theories
    Hung, William N. N.
    Song, Xiaoyu
    Tan, Jindong
    Li, Xiaojuan
    Zhang, Jie
    Wang, Rui
    Gao, Peng
    2014 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2014, : 113 - 118
  • [9] Combined satisfiability modulo parametric theories
    Krstic, Sava
    Goel, Amit
    Grundy, Jim
    Tinelli, Cesare
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2007, 4424 : 602 - +
  • [10] An abstract framework for satisfiability modulo theories
    Tinelli, Cesare
    Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings, 2007, 4548 : 10 - 10
12345