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

Abstract

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
Pages2875-2876
Number of pages2
ISBN (Electronic)9781643681009, 9781643681016
ISBN (Print)9781643681009
DOIs
Publication statusPublished - 2020
EventEuropean Conference on Artificial Intelligence 2020 - Virtual, Santiago de Compostela, Spain
Duration: 29 Aug 20208 Sep 2020
Conference number: 24th
https://digital.ecai2020.eu (Website)
http://ebooks.iospress.nl/volume/ecai-2020-24th-european-conference-on-artificial-intelligence (Proceedings)

Publication series

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

Conference

ConferenceEuropean Conference on Artificial Intelligence 2020
Abbreviated titleECAI 2020
CountrySpain
CitySantiago de Compostela
Period29/08/208/09/20
Other24th European Conference on Artificial Intelligence, ECAI 2020, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020
Internet address

Cite this