Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT | Publicación