Lattice-based Boolean diagrams.

Ahmed Nassar, Fadi J. Kurdahi

Browse the full ASPDAC paper archive.