Redirecting to Boolean minimization