https://123dok.net/document/wye4l40z-an-integer-linear-programming-approach-for-coalitional-weighted-manipulation-under-scoring-rules.html