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 ...
De manière générale, la réification consiste à transformer ou à transposer une abstraction en un objet concret, à appréhender un concept, comme une chose concrète. Le terme est aussi employé à propos ...