A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework

被引：0
|
作者：
UFRN/DIMAp, Campus Universitário, Lagoa Nova 59072-970 Natal, RN, Brazil [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
J. Braz. Comput. Soc. | 2008年 / 1卷 / 71-86期
关键词：
Distributed computer systems;
D O I：
10.1007/bf03192553
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] A framework for Satisfiability Modulo Theories
    Kroening, Daniel
    Strichman, Ofer
    FORMAL ASPECTS OF COMPUTING, 2009, 21 (05) : 485 - 494
  • [2] An abstract framework for satisfiability modulo theories
    Tinelli, Cesare
    Automated Reasoning with Analytic Tableaux and Related Methods, Proceedings, 2007, 4548 : 10 - 10
  • [3] 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
  • [4] Interactive Product Configurator Based on Satisfiability Modulo Theories Solver
    Burneika, L.
    MECHANIKA 2009 - PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE, 2009, : 69 - 75
  • [5] Satisfiability modulo theories
    Barrett, Clark
    Sebastiani, Roberto
    Seshia, Sanjit A.
    Tinelli, Cesare
    Frontiers in Artificial Intelligence and Applications, 2009, 185 (01) : 825 - 885
  • [6] 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
  • [7] 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
  • [8] Challenges in satisfiability modulo theories
    Nieuwenhuis, Robert
    Oliveras, Albert
    Rodriguez-Carbonell, Enric
    Rubio, Albert
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 2 - +
  • [9] Satisfiability Modulo Theories: An Appetizer
    de Moura, Leonardo
    Bjorner, Nikolaj
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, 2009, 5902 : 23 - 36
  • [10] Satisfiability Modulo Theories and Assignments
    Bonacina, Maria Paola
    Graham-Lengrand, Stephane
    Shankar, Natarajan
    AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 42 - 59
12345