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 条
  • [31] Satisfiability Modulo Theories: A Beginner's Tutorial
    Barrett, Clark
    Tinelli, Cesare
    Barbosa, Haniel
    Niemetz, Aina
    Preiner, Mathias
    Reynolds, Andrew
    Zohar, Yoni
    FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 571 - 596
  • [32] Preface to special issue on satisfiability modulo theories
    Alberto Griggio
    Philipp Rümmer
    Formal Methods in System Design, 2017, 51 : 431 - 432
  • [33] Satisfiability Modulo Custom Theories in Z3
    Bjorner, Nikolaj
    Eisenhofer, Clemens
    Kovacs, Laura
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2023, 2023, 13881 : 91 - 105
  • [34] Exploiting Satisfiability Modulo Theories for Analog Layout Automation
    Saif, Sherif M.
    Dessouky, Mohamed
    Nassar, Salwa
    Abbas, Hazem
    El-Kharashi, M. Watheq
    Abdulaziz, Mohammad
    2014 9TH INTERNATIONAL DESIGN & TEST SYMPOSIUM (IDT), 2014, : 73 - 78
  • [35] TSAT++: an Open Platform for Satisfiability Modulo Theories
    Armando, Alessandro
    Castellini, Claudio
    Giunchiglia, Enrico
    Idini, Massimo
    Maratea, Marco
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 125 (03) : 25 - 36
  • [36] Planning for Hybrid Systems via Satisfiability Modulo Theories
    Cashmore, Michael
    Magazzeni, Daniele
    Zehtabi, Parisa
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2020, 67 : 235 - 283
  • [37] Extracting Minimal Unsatisfiable Subformulas in Satisfiability Modulo Theories
    Zhang, Jianmin
    Shen, Shengyu
    Zhang, Jun
    Xu, Weixia
    Li, Sikun
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 8 (03) : 693 - 710
  • [38] Preface to the special issue "SI: Satisfiability Modulo Theories"
    Strichman, Ofer
    Kroening, Daniel
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 42 (01) : 1 - 2
  • [39] Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
    Cimatti, Alessandro
    Griggio, Alberto
    Sebastiani, Roberto
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2010, 12 (01)
  • [40] Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories
    Cimatti, Alessandro
    Griggio, Alberto
    Sebastiani, Roberto
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 40 : 701 - 728
12345