A Non-binary Constraint Satisfaction Solver: the One-Face Hyperpolyhedron Heuristic | Publicación