Problem representation of dynamic resource allocation for flexible high throughput satellities | IEEE Conference Publication | IEEE Xplore