10 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan Friso Groote, Jan Martens
We show that deciding simulation equivalence and simulation preorder have quadratic lower bounds assuming that the Strong Exponential Time Hypothesis holds. This is in line with th…