Show simple item record

dc.contributor.authorAmadini, R
dc.contributor.authorGange, G
dc.contributor.authorStuckey, PJ
dc.date.accessioned2020-12-04T00:49:08Z
dc.date.available2020-12-04T00:49:08Z
dc.date.issued2020-12-01
dc.identifier.citationAmadini, R., Gange, G. & Stuckey, P. J. (2020). Dashed strings for string constraint solving. Artificial Intelligence, 289, https://doi.org/10.1016/j.artint.2020.103368.
dc.identifier.issn0004-3702
dc.identifier.urihttp://hdl.handle.net/11343/252786
dc.description.abstractString processing is ubiquitous across computer science, and arguably more so in web programming — where it is also a critical part of security issues such as injection attacks. In recent years, a number of string solvers have been developed to solve combinatorial problems involving string variables and constraints. We examine the dashed string approach to string constraint solving, which represents an unknown string as a sequence of blocks of characters with bounds on their cardinalities. The solving approach relies on propagation of information about the blocks of characters that arise from reasoning about the constraints in which they occur. This approach shows promising performance on many benchmarks involving constraints like string length, equality, concatenation, and regular expression membership. In this paper, we formally review the definition, the properties and the use of dashed strings for string constraint solving, and we provide an empirical validation that confirms the effectiveness of this approach.
dc.languageEnglish
dc.publisherElsevier
dc.titleDashed strings for string constraint solving
dc.typeJournal Article
dc.identifier.doi10.1016/j.artint.2020.103368
melbourne.affiliation.departmentComputing and Information Systems
melbourne.source.titleArtificial Intelligence
melbourne.source.volume289
melbourne.source.pages103368-103368
melbourne.elementsid1464337
melbourne.internal.embargodate2022-12-01
melbourne.contributor.authorAmadini, Roberto
melbourne.contributor.authorGange, Graeme
melbourne.contributor.authorStuckey, Peter
dc.identifier.eissn1872-7921
melbourne.identifier.fundernameidUNIVERSITY OF MELBOURNE, DE160100568
melbourne.identifier.fundernameidORACLE, LP140100437
melbourne.accessrightsThis item is embargoed and will be available on 2022-12-01


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record