Decision diagrams and AND/OR graphs for design automation problems | IEEE Conference Publication | IEEE Xplore