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 条
  • [1] String Phenomenology: Past, Present and Future Perspectives
    Faraggi, Alon E.
    GALAXIES, 2014, 2 (02): : 223 - 258
  • [2] Global Constraint Catalogue: Past, Present and Future
    Nicolas Beldiceanu
    Mats Carlsson
    Sophie Demassey
    Thierry Petit
    Constraints, 2007, 12 : 21 - 62
  • [3] Global constraint catalogue: Past, present and future
    Beldiceanu, Nicolas
    Carlsson, Mats
    Demassey, Sophie
    Petit, Thierry
    CONSTRAINTS, 2007, 12 (01) : 21 - 62
  • [4] Problem Solving Methods: Past, Present, and Future
    Brown, David C.
    AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2009, 23 (04): : 327 - 329
  • [5] A Survey on String Constraint Solving
    Amadini, Roberto
    ACM COMPUTING SURVEYS, 2023, 55 (01)
  • [6] A Novel Approach to String Constraint Solving
    Amadini, Roberto
    Gange, Graeme
    Stuckey, Peter J.
    Tack, Guido
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING (CP 2017), 2017, 10416 : 3 - 20
  • [7] Dashed strings for string constraint solving
    Amadini, Roberto
    Gange, Graeme
    Stuckey, Peter J.
    ARTIFICIAL INTELLIGENCE, 2020, 289
  • [8] Constraint Solving on Bounded String Variables
    Scott, Joseph D.
    Flener, Pierre
    Pearson, Justin
    INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING, 2015, 9075 : 375 - 392
  • [9] Past and present (and future) of parallel and distributed computation in (constraint) logic programming
    Fioretto, Ferdinando
    Pontelli, Enrico
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2018, 18 (5-6) : 722 - 724
  • [10] The String Theory: Past and Present
    Chen, Beibei
    3RD INTERNATIONAL FORUM ON GEOSCIENCE AND GEODESY, 2021, 658
12345