Abstraction and Constraint Satisfaction Techniques for Planning Bandwidth Allocation