prob015: Schur's lemma
proposed by
Toby Walsh
tw@cs.york.ac.uk
Results
For 3 boxes, the problem has a solution for 13 or less balls. It is insoluble for 14 or more balls.
Back
to CSPLib home page.