Publication Details

A Uniform Framework for Handling Position Constraints in String Solving

CHEN, Y.; HAVLENA, V.; HEČKO, M.; HOLÍK, L.; LENGÁL, O. 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
Havlena Vojtěch, Ing., Ph.D. (DITS)
Hečko Michal, Ing. (DITS)
Holík Lukáš, doc. Mgr., Ph.D. (DITS)
Lengál Ondřej, Ing., Ph.D. (DITS)

Published

2025 (in print)

Journal

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

Book

Proceedings of PLDI'25

BibTeX

@article{BUT197690,
  author="Yu-Fang {Chen} and Vojtěch {Havlena} and Michal {Hečko} and Lukáš {Holík} and Ondřej {Lengál}",
  title="A Uniform Framework for Handling Position Constraints in String Solving",
  journal="Proceedings of the ACM on Programming Languages",
  year="2025",
  issn="2475-1421"
}