22 citations · 90 across the 29 of their papers we have counts for
1 paper · 2 filters
Stefan Mengel
It is shown that disjunction of two switch-lists can blow up the representation size exponentially. Since switch-lists can be negated without any increase in size, this shows that…