Reasoning with ordered binary decision diagrams

Takashi Horiyama, Toshihide Ibaraki. Reasoning with ordered binary decision diagrams. Discrete Applied Mathematics, 142(1-3):151-163, 2004. [doi]

Abstract

Abstract is missing.