Anthony W. Lin, Rupak Majumdar. Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings. Volume 11138 of Lecture Notes in Computer Science, pages 352-369, Springer, 2018. [doi]
@inproceedings{LinM18,
title = {Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility},
author = {Anthony W. Lin and Rupak Majumdar},
year = {2018},
doi = {10.1007/978-3-030-01090-4_21},
url = {https://doi.org/10.1007/978-3-030-01090-4_21},
researchr = {https://researchr.org/publication/LinM18},
cites = {0},
citedby = {0},
pages = {352-369},
booktitle = {Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings},
editor = {Shuvendu K. Lahiri and Chao Wang 0001},
volume = {11138},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-01090-4},
}