Mapping Problems with Finite-Domain Variables to Problems with Boolean Variables | Publicación