Exercise 3:

Sports league
Note: this problem is based on a similar one from the Logic in Information Technology subject at Barcelona School of Informatics.

Solve the following exercise by means of a reduction to SAT: The input of the exercise and the output with the solution (when the input is solvable) are as follows:
Authors: Nil Mamano (adaptation) / Documentation:
To be able to submit you need to either log in, register, or become a guest.