Propagating lex, find and replace with Dashed Strings-Reference-Cited by-同舟云学术

Propagating lex, find and replace with Dashed Strings

Published:2018 Issue: Volume: Page:18-34
ISSN:0302-9743
Container-title:Integration of Constraint Programming, Artificial Intelligence, and Operations Research
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-93031-2_2

Reference22 articles.

1. Aggoun, A., Beldiceanu, N.: Extending CHIP in order to solve complex scheduling and placement problems. Math. Comput. Model. 17(7), 57–73 (1993)

2. 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

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

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

5. Berzish, M., Zheng, Y., Ganesh, V.: Z3str3: a string solver with theory-aware branching. CoRR abs/1704.07935 (2017). http://arxiv.org/abs/1704.07935

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

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

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

3. String Constraint Solving: Past, Present and Future;FRONT ARTIF INTEL AP;2020

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

5. Constraint Programming for Dynamic Symbolic Execution of JavaScript;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2019