Ordered Binary Decision Diagrams as Knowledge-Bases.

Takashi Horiyama, Toshihide Ibaraki

Browse the full ISAAC paper archive.