Satisfiability modulo theories

被引：528
|
作者：
Barrett, Clark
Sebastiani, Roberto
Seshia, Sanjit A.
Tinelli, Cesare
机构：
来源：
Frontiers in Artificial Intelligence and Applications | 2009年 / 185卷 / 01期
关键词：
D O I：
10.3233/978-1-58603-929-5-825
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：825 / 885
相关论文
共 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] 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
  • [23] 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
  • [24] Sets with Cardinality Constraints in Satisfiability Modulo Theories
    Suter, Philippe
    Steiger, Robin
    Kuncak, Viktor
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2011, 6538 : 403 - 418
  • [25] Preface to special issue on satisfiability modulo theories
    Alberto Griggio
    Philipp Rümmer
    Formal Methods in System Design, 2017, 51 : 431 - 432
  • [26] 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
  • [27] Proof Checking Technology for Satisfiability Modulo Theories
    Stump, Aaron
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 228 : 121 - 133
  • [28] 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
  • [29] Satisfiability Modulo Custom Theories in Z3
    Bjorner, Nikolaj
    Eisenhofer, Clemens
    Kovacs, Laura
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2023, 2023, 13881 : 91 - 105
  • [30] 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
12345