Challenges in satisfiability modulo theories

被引：0

作者：

Nieuwenhuis, Robert ^{[1
]}

Oliveras, Albert ^{[1
]}

Rodriguez-Carbonell, Enric ^{[1
]}

Rubio, Albert ^{[1
]}

机构：

[1] Tech Univ Catalonia, Barcelona, Spain

来源：

TERM REWRITING AND APPLICATIONS, PROCEEDINGS | 2007年 / 4533卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Here we give a short overview of the DPLL(T) approach to Satisfiability Modulo Theories (SMT), which is at the basis of current state-of-the-art SMT systems. After that, we provide a documented list of theoretical and practical current challenges related to SMT, including some new ideas to exploit SAT techniques in Constraint Programming.

引用

下载

页码：2 / +

页数：3

共 50 条

[21] A tutorial on satisfiability modulo theories - (Invited tutorial)
de Moura, Leonardo
Dutertre, Bruno
Shankar, Natarajan
COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 20 - +
[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] Proof Checking Technology for Satisfiability Modulo Theories
Stump, Aaron
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 228 : 121 - 133
[26] 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
[27] Preface to special issue on satisfiability modulo theories
Alberto Griggio
Philipp Rümmer
Formal Methods in System Design, 2017, 51 : 431 - 432
[28] Satisfiability Modulo Custom Theories in Z3
Bjorner, Nikolaj
Eisenhofer, Clemens
Kovacs, Laura
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2023, 2023, 13881 : 91 - 105
[29] 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
[30] 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

← 1 2 3 4 5 →