Corollary REF  amounts to \(|\mathcal {Q}|\)  LPs with \(n_{\mathcal {A}}\)  decision variables and \(\mathcal {A}\)  as a constraint set. On the other hand, the approach of Corollary REF  (or Remark REF ) amounts to \(|\mathrm {ver}(\mathcal {A})|\)  LPs with \(|\mathcal {Q}|\)  decision variables. Note, however, that to solve the LPs of Corollary REF , one can employ the algorithm proposed in [1]}, which has been shown to be very efficient (see also Remark REF ). Intuitively, when \(|\mathrm {ver}(\mathcal {A})|>>|\mathcal {Q}|\) , then the approach of Corollary REF  might be preferred against the one of Corollary REF , and vice-versa. Nevertheless, a thorough experimental study has to be conducted, to decide when to use each.
