Lattice-Valued Binary Decision Diagrams.

Gilles Geeraerts, Gabriel Kalyon, Tristan Le Gall, Nicolas Maquet, Jean-Franois Raskin

Browse the full ATVA paper archive.