%0 Thesis %1 sack2002improving %A Sack, Harald %D 2002 %K %T Improving the power of ordered binary decision diagrams by integrating parity nodes

@phdthesis{sack2002improving, added-at = {2023-12-12T19:43:16.000+0100}, author = {Sack, Harald}, biburl = {https://www.bibsonomy.org/bibtex/272ea3da67034c05d04fcc72a6685232b/admin}, dnbtitleid = {971741816}, interhash = {25073749a0447f5335f0023716dcafba}, intrahash = {72ea3da67034c05d04fcc72a6685232b}, keywords = {}, school = {Uni Trier}, timestamp = {2023-12-12T19:43:16.000+0100}, title = {Improving the power of ordered binary decision diagrams by integrating parity nodes}, year = 2002 }