1 code implementation • 16 Oct 2022 • Amr Alanwar, Frank J. Jiang, Samy Amin, Karl H. Johansson
A logical zonotope, which is a new set representation for binary vectors, is introduced in this paper.