Lattice-based Boolean diagrams | IEEE Conference Publication | IEEE Xplore