Gianpiero Cabodi, Stefano Quer, Paolo Camurati. Memory Optimization in Function and Set Manipulation with BDDs. Software: Practice and Experience, 28(1):99-120, 1998.
@article{CabodiQC98,
title = {Memory Optimization in Function and Set Manipulation with BDDs},
author = {Gianpiero Cabodi and Stefano Quer and Paolo Camurati},
year = {1998},
tags = {optimization},
researchr = {https://researchr.org/publication/CabodiQC98},
cites = {0},
citedby = {0},
journal = {Software: Practice and Experience},
volume = {28},
number = {1},
pages = {99-120},
}