Improving solver performance through redundancy | Publicación