Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One | Publicación