BddCut: Towards Scalable Symbolic Cut Enumeration.

Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown

Browse the full ASPDAC paper archive.