Un CSP = variables + dominios + restricciones