Implementations and the independent set polynomial below the Shearer threshold - Galanis, A; Goldberg, L; Stefankovic, D (Theoretical Computer Science, 2022)