L'algorithme de la boulangerie ((en)Lamport's bakery algorithm) est un algorithme d'exclusion mutuelle découvert par Leslie Lamport, dans le cadre général de machines multi-processeurs à mémoire ...

Un problème comporte un certain nombre de variables, chacune ayant un domaine fini, et un certain nombre de contraintes. Une contrainte implique une ou plusieurs variables, en définissant les ...