Detail publikace

Word equations in synergy with regular constraints (extended version)

HAVLENA, V.; CHOCHOLATÝ, D.; LENGÁL, O.; HOLÍK, L.; SÍČ, J.; BLAHOUDEK, F.; CHEN, Y. Word equations in synergy with regular constraints (extended version). Constraints, 2025. 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
anglicky
Autoři
Havlena Vojtěch, Ing., Ph.D. (UITS)
Chocholatý David, Ing. (UITS)
Lengál Ondřej, doc. 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
2025 (v tisku)
Strany
34
Časopis
Constraints, ISSN 1572-9354
DOI
10.1007/s10601-025-09379-w
BibTeX 
@article{BUT197939,
  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 (extended version)",
  journal="Constraints",
  year="2025",
  pages="34",
  doi="10.1007/s10601-025-09379-w",
  issn="1572-9354"
}
Nahoru