No Efficient Disjunction or Conjunction of Switch-Lists
Not on the map. Why?
Abstract (arXiv)
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 conjunction of switch-lists also leads to an exponential blow-up in general.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 0 of its 8 references that are in the map. First posted on arXiv 9 Mar 2022.
Builds on
0 of 8 references.
No references here yet.
Built on by
Not cited yet.