%0 Conference Paper %1 conf/aspdac/LingZB07 %A Ling, Andrew C. %A Zhu, Jianwen %A Brown, Stephen Dean %B ASP-DAC %D 2007 %I IEEE Computer Society %K dblp %P 408-413 %T BddCut: Towards Scalable Symbolic Cut Enumeration. %U http://dblp.uni-trier.de/db/conf/aspdac/aspdac2007.html#LingZB07 %@ 1-4244-0629-3

@inproceedings{conf/aspdac/LingZB07, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ling, Andrew C. and Zhu, Jianwen and Brown, Stephen Dean}, biburl = {https://www.bibsonomy.org/bibtex/2716be3a57ccc1d3237b9b3cfcd9686d6/dblp}, booktitle = {ASP-DAC}, crossref = {conf/aspdac/2007}, ee = {http://dl.acm.org/citation.cfm?id=1323417}, interhash = {d222d421eb8ec4d58ae8921fcc25bee5}, intrahash = {716be3a57ccc1d3237b9b3cfcd9686d6}, isbn = {1-4244-0629-3}, keywords = {dblp}, pages = {408-413}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:16:52.000+0200}, title = {BddCut: Towards Scalable Symbolic Cut Enumeration.}, url = {http://dblp.uni-trier.de/db/conf/aspdac/aspdac2007.html#LingZB07}, year = 2007 }