String Constraint Solving: Past, Present and Future

被引：1
|
作者：
Amadini, Roberto [1 ]
Gange, Graeme [2 ]
Schachte, Peter [3 ]
Sondergaard, Harald [3 ]
Stuckey, Peter J. [2 ]
机构：
[1] Univ Bologna, Bologna, Italy
[2] Monash Univ, Caulfield, Vic 3145, Australia
[3] Univ Melbourne, Melbourne, Vic 3010, Australia
来源：
ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE | 2020年 / 325卷
基金：
澳大利亚研究理事会;
关键词：
SOLVER;
D O I：
10.3233/FAIA200431
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
String constraint solving is an important emerging field, given the ubiquity of strings over different fields such as formal analysis, automated testing, database query processing, and cybersecurity. This paper highlights the current state-of-the-art for string constraint solving, and identifies future challenges in this field.
引用
收藏
页码：2875 / 2876
页数：2
相关论文
共 50 条
12345