activity
20162026
most citedReducing (to) the Ranks: Efficient Rank-based Büchi Automata Complementation (Technical Report)

3 citations · 11 across the 17 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.LO2025

Negated String Containment is Decidable (Technical Report)

Vojtěch Havlena, Michal Hečko, Lukáš Holík +1

We provide a positive answer to a long-standing open question of the decidability of the not-contains string predicate. Not-contains is practically relevant, for instance in symbol…

cs.LO2025

A Uniform Framework for Handling Position Constraints in String Solving (Technical Report)

Yu-Fang Chen, Vojtěch Havlena, Michal Hečko +2

We introduce a novel decision procedure for solving the class of position string constraints, which includes string disequalities, not-prefixof, not-suffixof, strat, and not-str…