Propagating Regular Membership with Dashed Strings-Reference-Cited by-同舟云学术

Propagating Regular Membership with Dashed Strings

Published:2018 Issue: Volume: Page:13-29
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Amadini Roberto,Gange Graeme,Stuckey Peter J.

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-98334-9_2

Reference22 articles.

1. Abdulla, P.A., Atig, M.F., Chen, Y., Diep, B.P., Holík, L., Rezine, A., Rümmer, P.: Flatten and conquer: a framework for efficient analysis of string constraints. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation PLDI 2017, pp. 602–617, Barcelona, Spain, 18–23 June 2017 (2017)

2. Lecture Notes in Computer Science;PA Abdulla,2015

3. Amadini, R., Flener, P., Pearson, J., Scott, J.D., Stuckey, P.J., Tack, G.: MiniZinc with Strings. In: Logic-Based Program Synthesis and Transformation - 25th International Symposium LOPSTR 2016 (2016). https://arxiv.org/abs/1608.03650

4. Lecture Notes in Computer Science;R Amadini,2018

5. Amadini, R., Gange, G., Stuckey, P.J.: Sweep-based propagation for string cosntraint solving. In: To appear in AAAI 2018 (2018)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Graph constraints refined for transitive relations;Knowledge-Based Systems;2023-05

2. A Survey on String Constraint Solving;ACM Computing Surveys;2023-01-31

3. Regular Matching with Constraint Programming;Intelligent Systems Reference Library;2023

4. Dashed strings for string constraint solving;Artificial Intelligence;2020-12

5. Dashed Strings and the Replace(-all) Constraint;Lecture Notes in Computer Science;2020