Déduction logique et ordonnancement à partir de contraintes

Énigmes où un ensemble de règles détermine un ordre ou une affectation unique ; résolues par élimination systématique, raisonnement par l'absurde et analyse de cas.