Efficient manipulation of decision diagrams

Fabio Somenzi. Efficient manipulation of decision diagrams. STTT, 3(2):171-181, 2001. [doi]

Abstract

Abstract is missing.