String constraint solving: past, present and future

Roberto Amadini, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey

Research output: Chapter in Book/Report/Conference proceedingConference PaperOtherpeer-review

2 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationECAI 2020 24th European Conference on Artificial Intelligence 29 August–8 September 2020, Santiago de Compostela, Spain - Proceedings
EditorsGiuseppe De Giacomo, Alejandro Catala, Bistra Dilkina, Michela Milano, Senen Barro, Alberto Bugarin, Jerome Lang
Place of PublicationAmsterdam Netherlands
PublisherIOS Press
Number of pages2
ISBN (Electronic)9781643681009, 9781643681016
ISBN (Print)9781643681009
Publication statusPublished - 2020
EventEuropean Conference on Artificial Intelligence 2020 - Virtual, Santiago de Compostela, Spain
Duration: 29 Aug 20208 Sept 2020
Conference number: 24th (Website) (Proceedings)

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press
ISSN (Print)0922-6389


ConferenceEuropean Conference on Artificial Intelligence 2020
Abbreviated titleECAI 2020
CitySantiago de Compostela
Other24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020
Internet address

Cite this