activity
20132026
most citedSimulations and Antichains for Efficient Handling of Finite Automata

4 citations · 20 across the 28 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.FL2026★ 1 cited

String Solving with Stabilization and Transducers (Technical Report)

David Chocholatý, Vojtěch Havlena, Lukáš Holík +2

We generalize an efficient automata-based approach to string constraint solving, the stabilization-based method behind the solver Z3-Noodler, to support relational constraints repr…