Memory Optimization in Function and Set Manipulation with BDDs

Gianpiero Cabodi, Stefano Quer, Paolo Camurati. Memory Optimization in Function and Set Manipulation with BDDs. Software: Practice and Experience, 28(1):99-120, 1998.

Abstract

Abstract is missing.