Publication Details

A Uniform Framework for Handling Position Constraints in String Solving

CHEN Yu-Fang, HAVLENA Vojtěch, HEČKO Michal, HOLÍK Lukáš and LENGÁL Ondřej. A Uniform Framework for Handling Position Constraints in String Solving. Proceedings of the ACM on Programming Languages, 2025. ISSN 2475-1421.

Czech title

Uniformní rámec pro řešení pozičních omezení nad řetězci

Type

journal article

Language

english

Authors

Chen Yu-Fang (ASIN)
Havlena Vojtěch, Ing., Ph.D. (DITS FIT BUT)
Hečko Michal, Ing. (DITS FIT BUT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)

Published

2025 (in print)

Journal

Proceedings of the ACM on Programming Languages, ISSN 2475-1421

Book

Proceedings of PLDI'25

Publisher

Association for Computing Machinery

BibTeX

@ARTICLE{FITPUB13500,
   author = "Yu-Fang Chen and Vojt\v{e}ch Havlena and Michal He\v{c}ko and Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l",
   title = "A Uniform Framework for Handling Position Constraints in String Solving",
   booktitle = "Proceedings of PLDI'25",
   journal = "Proceedings of the ACM on Programming Languages",
   year = 2025,
   ISSN = "2475-1421",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13500"
}