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, 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

Č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"
}