Detail publikace

Solving String Constraints with Lengths by Stabilization

CHEN, Y.; CHOCHOLATÝ, D.; HAVLENA, V.; HOLÍK, L.; LENGÁL, O.; SÍČ, J. Solving String Constraints with Lengths by Stabilization. Proceedings of the ACM on Programming Languages, 2023, vol. 7, no. 10, p. 2112-2141. ISSN: 2475-1421.
Název česky
Řešení řetězcových omezení s délkami pomocí stabilizace
Typ
článek v časopise
Jazyk
anglicky
Autoři
Chen Yu-Fang
Chocholatý David, Ing. (UITS)
Havlena Vojtěch, Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Síč Juraj, Mgr. (UITS)
URL
Klíčová slova

string constraints SMT solver stabilization satisfiability

Abstrakt

Tento článek ukazuje, jak rozšířit algoritmus pro řešení řetězcových omezení pomocí techniky stabilizace na řetězcová omezení s délkami.

Rok
2023
Strany
2112–2141
Časopis
Proceedings of the ACM on Programming Languages, roč. 7, č. 10, ISSN 2475-1421
DOI
10.1145/3622872
UT WoS
001087279100076
EID Scopus
2-s2.0-85174877465
BibTeX 
@article{BUT185210,
  author="Yu-Fang {Chen} and David {Chocholatý} and Vojtěch {Havlena} and Lukáš {Holík} and Ondřej {Lengál} and Juraj {Síč}",
  title="Solving String Constraints with Lengths by Stabilization",
  journal="Proceedings of the ACM on Programming Languages",
  year="2023",
  volume="7",
  number="10",
  pages="2112--2141",
  doi="10.1145/3622872",
  issn="2475-1421",
  url="http://dx.doi.org/10.1145/3622872"
}
Nahoru