Abstraction and constraint satisfaction techniques for planning bandwidth allocation | IEEE Conference Publication | IEEE Xplore