“…To solve our problem using the VCSP model and the UGF introduced above and compare it with the previous approaches, we adapted and extended the forward checking algorithm [19], which consists of constructing a solution, by considering assignments to variables in a particular order; an order where the constraints are satisfied. The vector in our case is a set of assignments of devices to subsystems.…”