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 条
  • [1] Satisfiability modulo theories
    Barrett, Clark
    Sebastiani, Roberto
    Seshia, Sanjit A.
    Tinelli, Cesare
    Frontiers in Artificial Intelligence and Applications, 2009, 185 (01) : 825 - 885
  • [2] 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
  • [3] Satisfiability Modulo Theories: An Appetizer
    de Moura, Leonardo
    Bjorner, Nikolaj
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 23 - 36
  • [4] A framework for Satisfiability Modulo Theories
    Kroening, Daniel
    Strichman, Ofer
    FORMAL ASPECTS OF COMPUTING, 2009, 21 (05) : 485 - 494
  • [5] Challenges in satisfiability modulo theories
    Nieuwenhuis, Robert
    Oliveras, Albert
    Rodriguez-Carbonell, Enric
    Rubio, Albert
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 2 - +
  • [6] Satisfiability Modulo Theories and Assignments
    Bonacina, Maria Paola
    Graham-Lengrand, Stephane
    Shankar, Natarajan
    AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 42 - 59
  • [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] An abstract framework for satisfiability modulo theories
    Tinelli, Cesare
    Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings, 2007, 4548 : 10 - 10
  • [10] 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 - +
12345