Preface to special issue on satisfiability modulo theories

被引：0
|
作者：
Griggio, Alberto [1 ]
Rummer, Philipp [2 ]
机构：
[1] Fdn Bruno Kessler, Trento, Italy
[2] Uppsala Univ, Uppsala, Sweden
来源：
FORMAL METHODS IN SYSTEM DESIGN | 2017年 / 51卷 / 03期
关键词：
D O I：
10.1007/s10703-017-0308-5
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：431 / 432
页数：2
相关论文
共 50 条
  • [1] Preface to special issue on satisfiability modulo theories
    Alberto Griggio
    Philipp Rümmer
    [J]. Formal Methods in System Design, 2017, 51 : 431 - 432
  • [2] Preface to the special issue "SI: Satisfiability Modulo Theories"
    Strichman, Ofer
    Kroening, Daniel
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2013, 42 (01) : 1 - 2
  • [3] Preface to the special issue “SI: Satisfiability Modulo Theories”
    Ofer Strichman
    Daniel Kroening
    [J]. Formal Methods in System Design, 2013, 42 : 1 - 2
  • [4] Satisfiability modulo theories
    Barrett, Clark
    Sebastiani, Roberto
    Seshia, Sanjit A.
    Tinelli, Cesare
    [J]. Frontiers in Artificial Intelligence and Applications, 2009, 185 (01) : 825 - 885
  • [5] From propositional satisfiability to satisfiability modulo theories
    Sheini, Hossein M.
    Sakallah, Karem A.
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2006, PROCEEDINGS, 2006, 4121 : 1 - 9
  • [6] A framework for Satisfiability Modulo Theories
    Kroening, Daniel
    Strichman, Ofer
    [J]. FORMAL ASPECTS OF COMPUTING, 2009, 21 (05) : 485 - 494
  • [7] Challenges in satisfiability modulo theories
    Nieuwenhuis, Robert
    Oliveras, Albert
    Rodriguez-Carbonell, Enric
    Rubio, Albert
    [J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 2 - +
  • [8] Satisfiability Modulo Theories and Assignments
    Bonacina, Maria Paola
    Graham-Lengrand, Stephane
    Shankar, Natarajan
    [J]. AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 42 - 59
  • [9] Satisfiability Modulo Theories: An Appetizer
    de Moura, Leonardo
    Bjorner, Nikolaj
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 23 - 36
  • [10] Foundations of Satisfiability Modulo Theories
    Tinelli, Cesare
    [J]. LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2010, 6188 : 58 - 58
12345