Detail publikace

Word Equations in Synergy with Regular Constraints

BLAHOUDEK František, HAVLENA Vojtěch, HOLÍK Lukáš, CHEN Yu-Fang, CHOCHOLATÝ David, LENGÁL Ondřej a SÍČ Juraj. Word Equations in Synergy with Regular Constraints. In: Proceedings of FM'23. Lübeck: Springer Verlag, 2023, s. 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
angličtina
Autoři
Blahoudek František, RNDr., Ph.D. (UITS FIT VUT)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Chocholatý David, Bc. (FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Síč Juraj, Mgr. (UITS FIT VUT)
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
Konference
25th International Symposium on Formal Methods, Lübeck, DE
Vydavatel
Springer Verlag
Místo
Lübeck, DE
DOI
10.1007/978-3-031-27481-7_23
UT WoS
000999132100023
EID Scopus
2-s2.0-85151053808
BibTeX 
@INPROCEEDINGS{FITPUB12975,
   author = "Franti\v{s}ek Blahoudek and Vojt\v{e}ch Havlena and Luk\'{a}\v{s} Hol\'{i}k and Yu-Fang Chen and David Chocholat\'{y} and Ond\v{r}ej Leng\'{a}l and Juraj S\'{i}\v{c}",
   title = "Word Equations in Synergy with Regular Constraints",
   pages = "403--423",
   booktitle = "Proceedings of FM'23",
   journal = "Lecture Notes in Computer Science",
   number = 14000,
   year = 2023,
   location = "L{\"{u}}beck, DE",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   doi = "10.1007/978-3-031-27481-7\_23",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12975"
}
Nahoru