Translation among CNFs, Characteristic Models and Ordered Binary Decision Diagrams.

Takashi Horiyama, Toshihide Ibaraki

Browse the full ISAAC paper archive.