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 条
  • [41] Preface to the special issue “SI: Satisfiability Modulo Theories”
    Ofer Strichman
    Daniel Kroening
    Formal Methods in System Design, 2013, 42 : 1 - 2
  • [42] 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
  • [43] Planning for hybrid systems via satisfiability modulo theories
    Cashmore M.
    Magazzeni D.
    Zehtabi P.
    Journal of Artificial Intelligence Research, 2020, 67 : 235 - 283
  • [44] PSMT: Satisfiability Modulo Theories Meets Probability Distribution
    Jia, Fuqi
    Han, Rui
    Ma, Xutong
    Cui, Baoquan
    Liu, Minghao
    Huang, Pei
    Ma, Feifei
    Zhang, Jian
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1756 - 1760
  • [45] Local Search For Satisfiability Modulo Integer Arithmetic Theories
    Cai, Shaowei
    Li, Bohan
    Zhang, Xindi
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2023, 24 (04)
  • [46] Parallel Multithreaded Satisfiability Solver: Design and Implementation
    Feldman, Yulik
    Dershowitz, Nachum
    Hanna, Ziyad
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (03) : 75 - 90
  • [47] Analog Layout Placement Retargeting using Satisfiability Modulo Theories
    Mohamed, Aya
    Dessouky, Mohamed
    Saif, Sherif M.
    2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
  • [48] Fuzzy answer set computation via satisfiability modulo theories
    Alviano, Mario
    Penaloza, Rafael
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 588 - 603
  • [49] Solving quantified verification conditions using satisfiability modulo theories
    Ge, Yeting
    Barrett, Clark
    Tinelli, Cesare
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2009, 55 (1-2) : 101 - 122
  • [50] A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain
    Gao, Yang
    Fraenzle, Martin
    QUANTITATIVE EVALUATION OF SYSTEMS, 2015, 9259 : 295 - 311
12345