Detail publikace

Word Equations in Synergy with Regular Constraints

HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word Equations in Synergy with Regular Constraints. In Proceedings of FM'23. Lecture Notes in Computer Science. Lübeck: Springer Verlag, 2023. p. 403-423. ISSN: 0302-9743.
Název česky
Rovnice nad slovy v součinnosti s regulárními omezeními
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Chocholatý David, Ing. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Síč Juraj, Mgr. (UITS)
Blahoudek František, RNDr., Ph.D.
Chen Yu-Fang
Klíčová slova

Word equations, regular constraints, string solving, finite automata

Abstrakt

Tento článek přináší nový algoritmus pro řešení rovnic nad řetězci spolu s regulárními omezeními. Algoritmus umožňuje efektivně prořezávat stavový prostor na základě informací získaných z kombinace omezení. 

Rok
2023
Strany
403–423
Časopis
Lecture Notes in Computer Science, č. 14000, ISSN 0302-9743
Sborník
Proceedings of FM'23
Vydavatel
Springer Verlag
Místo
Lübeck
DOI
10.1007/978-3-031-27481-7_23
UT WoS
000999132100023
EID Scopus
2-s2.0-85151053808
BibTeX 
@inproceedings{BUT185156,
  author="Vojtěch {Havlena} and David {Chocholatý} and Ondřej {Lengál} and Lukáš {Holík} and Juraj {Síč} and František {Blahoudek} and Yu-Fang {Chen}",
  title="Word Equations in Synergy with Regular Constraints",
  booktitle="Proceedings of FM'23",
  year="2023",
  journal="Lecture Notes in Computer Science",
  number="14000",
  pages="403--423",
  publisher="Springer Verlag",
  address="Lübeck",
  doi="10.1007/978-3-031-27481-7\{_}23",
  issn="0302-9743"
}
Nahoru