Gianpiero Cabodi, Stefano Quer, Paolo Camurati. Memory Optimization in Function and Set Manipulation with BDDs. Software: Practice and Experience, 28(1):99-120, 1998.
No references recorded for this publication.
No citations of this publication recorded.