polyDD: Towards a Framework Generalizing Decision Diagrams | IEEE Conference Publication | IEEE Xplore