Exercise 13:

Train schedules
Note: this problem has been taken from Puzzle Baron’s Logic Puzzles.

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: Note: this problem can be solved in asymptotic constant time without reducing to SAT.
Authors: Nil Mamano / Documentation:
To be able to submit you need to either log in, register or become a guest.