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] Proof Checking Technology for Satisfiability Modulo Theories
    Stump, Aaron
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 228 : 121 - 133
  • [32] 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
  • [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] Preface to the special issue "SI: Satisfiability Modulo Theories"
    Strichman, Ofer
    Kroening, Daniel
    FORMAL METHODS IN SYSTEM DESIGN, 2013, 42 (01) : 1 - 2
  • [38] Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories
    Cimatti, Alessandro
    Griggio, Alberto
    Sebastiani, Roberto
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2010, 12 (01)
  • [39] 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
  • [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