Detail publikace

Word equations in synergy with regular constraints (extended version)

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 (extended version). Constraints, 2025, s. 34. ISSN 1572-9354.
Název česky
Rovnice nad slovy v součinnosti s regulárními omezeními (rozšírena verze)
Typ
článek v časopise
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, Ing. (UITS 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
2025 (v tisku)
Strany
34
Časopis
Constraints, ISSN 1572-9354
Vydavatel
Springer Verlag
DOI
10.1007/s10601-025-09379-w
BibTeX 
@ARTICLE{FITPUB13513,
   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 (extended version)",
   pages = 34,
   journal = "Constraints",
   year = 2025,
   ISSN = "1572-9354",
   doi = "10.1007/s10601-025-09379-w",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13513"
}
Nahoru