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 条
  • [21] Satisfiability modulo theories for process systems engineering
    Mistry, Miten
    D'Iddio, Andrea Callia
    Huth, Michael
    Misener, Ruth
    COMPUTERS & CHEMICAL ENGINEERING, 2018, 113 : 98 - 114
  • [22] Model Learning as a Satisfiability Modulo Theories Problem
    Smetsers, Rick
    Fiterau-Brostean, Paul
    Vaandrager, Frits
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2018), 2018, 10792 : 182 - 194
  • [23] Efficient interpolant generation in Satisfiability Modulo Theories
    Cimatti, Alessandro
    Griggio, Alberto
    Sebastiani, Roberto
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 : 397 - +
  • [24] Beyond boolean SAT: Satisfiability Modulo Theories
    Cimatti, Alessandro
    WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 68 - 73
  • [25] Grounding Neural Inference with Satisfiability Modulo Theories
    Wang, Zifan
    Vijayakumar, Saranya
    Lu, Kaiji
    Ganesh, Vijay
    Jha, Somesh
    Fredriskon, Matt
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [26] Tender System Verification with Satisfiability Modulo Theories
    Davila, Rene
    Aldeco-Perez, Rocio
    Barcenas, Everardo
    2021 9TH INTERNATIONAL CONFERENCE IN SOFTWARE ENGINEERING RESEARCH AND INNOVATION (CONISOFT 2021), 2021, : 69 - 78
  • [27] Stochastic Local Search for Satisfiability Modulo Theories
    Froehlich, Andreas
    Biere, Armin
    Wintersteiger, Christoph M.
    Hamadi, Youssef
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1136 - 1143
  • [28] Sets with Cardinality Constraints in Satisfiability Modulo Theories
    Suter, Philippe
    Steiger, Robin
    Kuncak, Viktor
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 403 - 418
  • [29] Proof Checking Technology for Satisfiability Modulo Theories
    Stump, Aaron
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 228 : 121 - 133
  • [30] Automating Elevator Design with Satisfiability Modulo Theories
    Demarchi, Stefano
    Menapace, Marco
    Tacchella, Armando
    2019 IEEE 31ST INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2019), 2019, : 26 - 33
12345