research
∙
07/31/2023
Decision Procedures for Sequence Theories (Technical Report)
Sequence theories are an extension of theories of strings with an infini...
share
research
∙
12/05/2022
Space-efficient conversions from SLPs
Given a straight-line program with g rules for a text T [1..n], we can b...
research
∙
01/15/2021
Solving one variable word equations in the free group in cubic time
A word equation with one variable in a free group is given as U = V, whe...
research
∙
08/18/2019
The smallest grammar problem revisited
In a seminal paper of Charikar et al. on the smallest grammar problem, t...
research
∙
02/10/2019