No Efficient Disjunction or Conjunction of Switch-Lists - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal on Satisfiability, Boolean Modeling and Computation Année : 2022

No Efficient Disjunction or Conjunction of Switch-Lists

Stefan Mengel

Résumé

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.

Dates et versions

hal-03857103 , version 1 (17-11-2022)

Identifiants

Citer

Stefan Mengel. No Efficient Disjunction or Conjunction of Switch-Lists. Journal on Satisfiability, Boolean Modeling and Computation, 2022, 13 (1), pp.1-4. ⟨10.3233/sat-220002⟩. ⟨hal-03857103⟩
6 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More