Boolean CP Decomposition of Binary Tensors: Uniqueness and Algorithm | IEEE Conference Publication | IEEE Xplore